MingaEditor.State.Appearance (Minga v0.1.0)

Copy Markdown View Source

Per-editor appearance configuration shared by render frontends.

Theme selection, native font override, and the cached semantic GUI settings snapshot move together while parser highlight recoloring remains a root-wide appearance/parser transition.

Summary

Functions

Caches the semantic native settings snapshot emitted in-frame.

Applies or clears the per-editor native font-size override.

Selects the active editor theme.

Types

t()

@type t() :: %MingaEditor.State.Appearance{
  font_size_override: pos_integer() | nil,
  gui_config_state: Minga.RenderModel.UI.ConfigState.t() | nil,
  theme: MingaEditor.UI.Theme.t()
}

Functions

cache_gui_config(appearance, snapshot)

@spec cache_gui_config(t(), Minga.RenderModel.UI.ConfigState.t() | nil) :: t()

Caches the semantic native settings snapshot emitted in-frame.

override_font_size(appearance, size)

@spec override_font_size(t(), pos_integer() | nil) :: t()

Applies or clears the per-editor native font-size override.

select_theme(appearance, theme)

@spec select_theme(t(), MingaEditor.UI.Theme.t()) :: t()

Selects the active editor theme.