MingaEditor.Agent.UIState.ReturnTarget (Minga v0.1.0)

Editor context to restore when leaving the agent view.

The agent view is a zoom surface inside a workspace. This struct records the editor context that was active before zooming in so q and Esc can return to the same workspace instead of guessing from tab order alone.

Summary

Types

t()

Functions

new(active_tab_id, active_buffer, windows, file_tree, keymap_scope, prompt_focused)

Builds a return target from the current editor context.

Types

t()

@type t() :: %MingaEditor.Agent.UIState.ReturnTarget{
  active_buffer: pid() | nil,
  active_tab_id: pos_integer() | nil,
  file_tree: MingaEditor.State.FileTree.t(),
  keymap_scope: Minga.Keymap.Scope.scope_name(),
  prompt_focused: boolean(),
  windows: MingaEditor.State.Windows.t()
}

Functions

new(active_tab_id, active_buffer, windows, file_tree, keymap_scope, prompt_focused)

@spec new(
  pos_integer() | nil,
  pid() | nil,
  MingaEditor.State.Windows.t(),
  MingaEditor.State.FileTree.t(),
  Minga.Keymap.Scope.scope_name(),
  boolean()
) :: t()

Builds a return target from the current editor context.