MingaEditor.RenderPipeline.WindowIntent (Minga v0.1.0)

Copy Markdown View Source

Cache-free editor-owned per-window render carrier.

Summary

Functions

Materializes the pipeline's private working window with renderer-owned cache state.

Types

t()

@type t() :: %MingaEditor.RenderPipeline.WindowIntent{
  authoritative_scroll_seq: non_neg_integer(),
  content: MingaEditor.Window.Content.t(),
  cursor: Minga.Buffer.position(),
  document_symbols: list(),
  fold_map: term(),
  fold_ranges: list(),
  id: MingaEditor.Window.id(),
  pinned: boolean(),
  popup_meta: term(),
  scroll_detach_cursor: Minga.Buffer.position() | nil,
  scroll_echo_top: non_neg_integer() | nil,
  scroll_velocity: term(),
  textobject_positions: map(),
  viewport: MingaEditor.Viewport.t()
}

Functions

from_window(window)

@spec from_window(MingaEditor.Window.t()) :: t()

materialize(carrier, cache)

Materializes the pipeline's private working window with renderer-owned cache state.