MingaEditor.RenderPipeline.WindowIntent (Minga v0.1.0)

Copy Markdown View Source

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

Summary

Types

t()

@type t() :: %MingaEditor.RenderPipeline.WindowIntent{
  authoritative_scroll_seq: non_neg_integer(),
  content: MingaEditor.Window.Content.t(),
  cursor: Minga.Buffer.position(),
  fold_map: MingaEditor.FoldMap.t(),
  fold_ranges: [Minga.Editing.Fold.Range.t()],
  popup_meta: MingaEditor.UI.Popup.Active.t() | nil,
  scroll_detach_cursor: Minga.Buffer.position() | nil,
  scroll_echo_top: integer() | nil,
  scroll_velocity: MingaEditor.Window.ScrollVelocity.t(),
  viewport: MingaEditor.Viewport.t()
}

Functions

from_window(window)

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