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

presence_key

widget’s presence identity.

presence_payload

widget’s outbound presence.

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.