MingaEditor.State.Highlighting (Minga v0.1.0)

Groups syntax-highlighting fields from EditorState.

Tracks per-buffer highlight data, a monotonic version counter for invalidation, the mapping from buffer PIDs to parser buffer IDs (monotonically incrementing u32s), and LRU timestamps for inactive tree eviction.

Highlight spans are stored per-buffer in highlights. There is no separate "current" field; the active buffer's highlight is just Map.get(highlights, active_pid).

Summary

Types

t()

Types

t()

@type t() :: %MingaEditor.State.Highlighting{
  buffer_ids: %{required(pid()) => non_neg_integer()},
  highlights: %{required(pid()) => MingaEditor.UI.Highlight.t()},
  last_active_at: %{required(pid()) => integer()},
  next_buffer_id: non_neg_integer(),
  reverse_buffer_ids: %{required(non_neg_integer()) => pid()},
  syntax_overrides: %{required(pid()) => MingaEditor.UI.Theme.syntax()},
  version: non_neg_integer()
}