Module capability 

Widgets that publish where their user is (caret, selection) to peers.

Traits

PublishesPresence

A widget with a presence identity and, while focused, outbound presence.

Functions

actor_text_range

The caret or selection presence holds for actor, with the key it is shown at: where that member says it is in text here. A member has at most one of the two, whichever it said last.

agent_text_loci

Where the frame with root draws each agent among interactions in its text, by invocation: the box its caret or selection is in rather than the control its action is bound to.

composing_payload

widget’s composing presence, when it is composing a message where it stands.

presence_key

widget’s presence identity.

presence_payload

widget’s outbound presence.

range_locus

The widget under root (itself included) that shows the remote caret or selection range at key, and the box it draws it in: what a view following that member reveals, and where their cursor rests.

subtree_presence

The outbound presence of the widgets under root (itself included), in tree order: where each editor’s caret is even while it does not hold keyboard focus (an action moved it, or focus is elsewhere). Bounded in nodes and results.