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)
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(),
  launchpad: term(),
  mouse: term(),
  search: term()
}

Functions

from_workspace(workspace)

@spec from_workspace(MingaEditor.Session.State.t()) :: t()

record_agent_scroll_metrics(workspace, total_lines, visible_height)

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