MingaEditor.RenderPipeline.WorkspaceIntent (Minga v0.1.0)

Copy Markdown View Source

Explicit allowlisted workspace portion of an Editor-to-Renderer intent.

Summary

Types

t()

Functions

from_workspace(workspace, search)
record_agent_scroll_metrics(workspace, total_lines, visible_height)

Types

t()

@type t() :: %MingaEditor.RenderPipeline.WorkspaceIntent{
  agent_ui: term(),
  buffers: term(),
  cmd_hover_link: term(),
  document_highlights: term(),
  editing: term(),
  file_tree: term(),
  keymap_scope: atom(),
  last_search_pattern: String.t() | nil,
  launchpad: term(),
  mouse: term(),
  search: MingaEditor.State.Search.Projection.t()
}

Functions

from_workspace(workspace, search)

@spec from_workspace(
  MingaEditor.Session.State.t(),
  MingaEditor.State.Search.Projection.t()
) :: t()

record_agent_scroll_metrics(workspace, total_lines, visible_height)

@spec record_agent_scroll_metrics(t(), non_neg_integer(), pos_integer()) :: t()