Module change_mark 

ChangeMark: what someone else changed that the person has not seen yet (task-legibility §3), as one pill in the changer’s colour: their face, and the task run it was part of. Activating it shows what they did.

The UI host places one on every list row, table row and window whose resource has unseen changes, with no code of the app’s; a view that wants it elsewhere places ui.ChangeMark(r) itself and the host fills in who and which run, and places none of its own for r.

Structs

ChangeMark

A change mark as a widget: the faces and the label, kept where they stand while what they say changes, and the catch-up a window’s mark opens.

ChangeMarkProps

What someone else changed of a resource that the person looking has not seen yet: who, in which task run, and whether they made, changed or removed it. The host fills all but of from the resource’s versions; activating it shows what they did.

RowMark

What a row shows of a change mark, at its own height (crate::widget::ListRow::change): who (identity and name), what they did said under the row’s title, and what pressing their face does.