Enum PreferencePatch 

pub enum PreferencePatch {
    Lang(Lang),
    Welcomed(bool),
    Panel(bool),
    Tier(Tier),
    Appearance(Appearance),
    Proxying(Proxying),
    Chord(Chord),
    CorePriority(CorePriority),
    CorePlacement(CorePlacement),
    RunMemory(Option<NonZeroU64>),
    Tags(SessionTags),
    Theme(ThemeOverride),
}

One named change to PreferencesAnswer.

A closed set of named changes rather than a whole record, so two screens settling different facts cannot overwrite each other, and so a frame that names a fact this build does not keep is refused at the boundary rather than merged.

Variants

Lang(Lang)

Welcomed(bool)

Panel(bool)

Tier(Tier)

Appearance(Appearance)

Proxying(Proxying)

Chord(Chord)

Rebind one action, or return it to the chord this build ships by sending an empty spelled.

CorePriority(CorePriority)

Whether the core’s threads stand above normal. Lands in the file’s [core] section, not in [ui] (crates/wire/spec/Command/Step.lean §8-61).

CorePlacement(CorePlacement)

RunMemory(Option<NonZeroU64>)

Tags(SessionTags)

Replace one session’s tags with these; an empty set removes them (crates/wire/spec/Preference.lean §8-84).

Theme(ThemeOverride)

Replace the colour override; the empty value returns to the built-in theme (crates/wire/spec/Preference.lean D29).

Trait Implementations

impl Clone for PreferencePatch

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 PreferencePatch

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PreferencePatch

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for PreferencePatch

impl PartialEq for PreferencePatch

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for PreferencePatch

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for PreferencePatch