Skip to content

where did observable sharing go? (please document how to switch it on) #126

@jwaldmann

Description

@jwaldmann

"Observable sharing" is announced in the README, and I need it in applications, but it is now switched off by default. That's only mentioned in the CHANGELOG, and not in the repo's examples. [EDIT: there is an example, I missed it] I figure that it's just

do
    setLogic "QF_LRA"
    setSharingMode StableNames
...

but it might be good to have it documented.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions