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)

Copies only reviewed workspace rendering fields; windows are a separate typed carrier.

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(),
  viewport: term()
}

Functions

from_workspace(workspace)

@spec from_workspace(MingaEditor.RenderPipeline.Input.workspace()) :: t()

Copies only reviewed workspace rendering fields; windows are a separate typed carrier.