Enum UpdateKind 

pub enum UpdateKind {
    Regenerated(Box<GeneratedAp>),
    LiveEdit(Box<GeneratedAp>),
    RevertedToFileAppearance,
    ActionRequested {
        action: Box<Action>,
        modifiers: Modifiers,
    },
    FocusChanged {
        from: Option<AnnotId>,
        to: Option<AnnotId>,
    },
}

What happened to an annotation.

Variants

Regenerated(Box<GeneratedAp>)

A committed value produced a new appearance stream.

The unfocused path: the field is drawn from what it now stores.

LiveEdit(Box<GeneratedAp>)

A focused field’s live editor state, with its caret and selection band.

The focused path. Which of these two a field takes is the whole seam between appearance generation and interaction, and it is one if.

RevertedToFileAppearance

The widget has no generated appearance any more: it falls back to the file’s own /AP.

This is not “draw nothing”

The distinction matters because the two are easy to conflate and only one of them is expressible. A caller applies these updates by keying an appearance overlay, and absence from that overlay already means “use whatever the file declares”. So this variant says: drop any appearance an earlier event generated for this widget, and let the file’s own stream show through again.

Suppressing a widget that has an /AP — painting nothing where the file says something — is a different instruction, and this cannot carry it: an overlay keyed by presence has no way to spell a positive “blank”. Nothing here needs it. A widget that genuinely draws nothing is one whose field type gets no appearance at all — a signature, or a type the classifier could not name — and those never receive interaction state, so they never produce an update of any kind. Real suppression would need a new variant and a positive marker in the overlay, not a re-reading of this one.

ActionRequested

An action fired and the caller decides whether to perform it.

The modifiers held when it fired ride along, because a link’s action is expected to see them.

Fields

action: Box<Action>

What was asked for.

modifiers: Modifiers

Which modifiers were held.

FocusChanged

Focus moved.

An observation rather than a callback, which is why there is no version of this interface that omits it.

Fields

from: Option<AnnotId>

What had focus before, if anything.

to: Option<AnnotId>

What has it now, if anything.

Implementations

impl UpdateKind

pub fn appearance(&self) -> Option<&GeneratedAp>

Whether this update carries a new appearance stream, by either path.

pub fn is_live_edit(&self) -> bool

Whether this update is the focused-field path.

Trait Implementations

impl Clone for UpdateKind

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for UpdateKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for UpdateKind

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for UpdateKind