Internal state for the Editor GenServer.
Field categories
EditorState fields fall into three categories:
Workspace fields live in state.workspace (MingaEditor.Session.State)
and are saved/restored when switching tabs. Each tab carries a snapshot
of the workspace so switching tabs restores the full editing context.
Shell fields live in state.shell_state and hold presentation concerns: chrome, overlays, transient UI state. The active shell id is state.shell_id; state.shell is the registered module cached for hot-path compatibility. See MingaEditor.Shell for the behaviour definition.
Global fields are shared across all tabs and never snapshotted:
port_manager, theme, render_timer, focus_stack,
capabilities.
Composed sub-structs
MingaEditor.Session.State— per-tab editing context (buffers, windows, vim, etc.)MingaEditor.Shell.Traditional.State— default presentation state (nav_flash, hover, status_msg, etc.)MingaEditor.State.WhichKey— which-key popup node, timer, visibilityMingaEditor.State.Registers— named registers and active register selection
Summary
Types
Per-lane serial gate for MingaEditor.AsyncAction: the in-flight operation's
token (or nil when idle) and a FIFO queue of pending zero-arity work funcs.
Display metadata derived from the active window's content type.
Metadata for an open diff view buffer.
A document highlight range from the LSP server.
Event bus registry used by this editor instance.
The git_remote_op tracking tuple, or nil when no operation is in flight.
Re-export of Minga.Keymap.server/0 for editor-state callers.
Line number display style.
Re-export of Minga.Config.Options.server/0 for editor-state callers.
Functions
Returns the active buffer index.
Returns display metadata for the active window's content.
Returns the active shell id, preserving compatibility with tests that still set only :shell.
Returns the active shell module, refreshing from the registry when possible.
Returns the active window struct, or nil if windows aren't initialized.
Adds a new buffer and makes it the active buffer for the current window.
Pure variant of add_buffer/2. Returns {state, effects} instead of
performing side effects directly.
Returns the agent stream-ingest coalescer pid, or nil if not started.
Applies render pipeline mutations back to the editor state.
Applies asynchronous renderer writeback without overwriting editor-owned state.
Switches the active editor theme and re-colors existing syntax highlights.
Returns the active buffer pid.
Returns the buffer list.
Builds a complete per-tab context for an agent tab.
Builds a fresh agent-shaped workspace context for shell-owned agent surfaces.
Pure variant of remove_dead_buffer/2. Returns {state, effects} instead
of performing side effects directly.
Returns the viewport for the user's current focus: the active window's viewport when a window is active, otherwise a derived terminal-size viewport (the no-window fallback case). Use this for scroll commands that read/write the focused window's viewport.
Removes the async-action gate state for lane, marking it idle.
Deletes an active workspace LSP pending request.
Dismisses a GUI notification by id.
Dismisses a GUI notification only when the auto-dismiss ref still matches.
Drops extension-owned feature state from live and snapshotted workspaces.
Drops one source-owned feature state entry from the active workspace.
Drops all feature state owned by a source from live and snapshotted workspaces.
Drops the active workspace FileTree feature state.
Ensures the active shell still exists, falling back to the registry default if it was unregistered.
Returns the event bus registry used by this editor instance.
Returns the active workspace FileTree feature state.
Finds the agent chat window in the windows map.
Returns the index of the buffer whose file path matches file_path, or nil.
Switches focus to the given window, saving the current cursor to the outgoing window and restoring the target window's stored cursor.
Returns the async-action gate state for lane (idle default when absent).
Returns source-owned feature state from the active workspace, or nil when inactive.
Returns the cached native settings snapshot emitted in-frame (#2119).
Invalidates render caches for all windows.
Returns the keymap context keyword list passed to scoped key resolution.
Returns the keymap server used for scope and binding lookups.
Returns the set of buffer pids known to the live workspace and tab snapshots.
Monitors a buffer pid so the Editor receives :DOWN when it dies.
Monitors a list of buffer pids. Convenience wrapper around monitor_buffer/2.
Looks up an inline notification action.
Returns the options server used for typed option lookups.
Stores the async-action gate state for lane.
Stores source-owned feature state on the active workspace.
Stores the cached native settings snapshot emitted in-frame (#2119).
Adds or replaces an active workspace LSP pending request.
Rebinds the logical file identity for matching tabs and their workspaces.
Rebuilds the agent rendering cache from the Session process when
switching to an agent tab. The Session is the source of truth for
status, pending approval, and error; the cache lives on
state.shell_state.agent and is repopulated from the Tab's session
pid on every tab switch.
Removes a dead buffer pid from all state locations.
Clears frontend-retained render state after a frontend ready/recovery event.
Writes a tab context back into the live editor state.
Returns the appropriate keymap scope for the active window's content type.
Derives the keymap scope from a window's content type.
Returns the screen rect for layout computation, excluding the global minibuffer row and reserving space for the file tree panel when open.
Scrolls the agent chat window's viewport by delta lines and updates
pinned state. Delegates to Window.scroll_viewport/3.
Stores the agent stream-ingest coalescer pid (see MingaEditor.Agent.Ingest).
Replaces the active workspace agent UI state.
Sets the context for the next add_buffer call.
Replaces the active workspace buffer state.
Replaces the vim change recorder.
Replaces the active workspace dired state.
Replaces the active workspace document highlights.
Replaces the active workspace editing state.
Replaces the active workspace FileTree feature state.
Replaces the active workspace highlighting state.
Replaces the active workspace injection ranges map.
Sets the active workspace keymap scope.
Records the last find-char motion.
Records the cursor position before a jump.
Replaces the active workspace LSP pending request map.
Replaces the vim macro recorder.
Replaces the vim marks map.
Replaces the current vim mode state without changing the mode.
Replaces the active workspace mouse state.
Replaces the vim register state.
Updates the current frontend-reported resource pressure.
Replaces the active workspace search state.
Stores a new terminal viewport. Called by the editor's resize handler when the frontend reports a new screen size.
Sets the active workspace viewport.
Replaces the active workspace window state.
Replaces the active workspace.
Returns the active sidebar registry table for this state.
Returns true if the given tool should NOT be prompted for installation.
Captures the current per-tab fields into a context struct.
Returns true if the editor has more than one window.
Starts a new buffer under the buffer supervisor for the given file path.
Switches to the buffer at idx, making it active for the current window.
Switches to a registered shell by id, stashing the current shell state by shell id.
Switches to the tab with target_id.
Pure variant of switch_tab/2. Returns {state, effects} instead of
performing side effects directly.
Syncs the active window's buffer reference with state.workspace.buffers.active.
Snapshots the active buffer's cursor into the active window struct.
Syncs the live workspace agent UI mirror from the active workspace.
Returns the terminal-level viewport: total screen rows/cols reported by the frontend on resize. Used for screen-spanning chrome (picker, popups, completion menu placement) and for layout computation that needs the editor's full canvas.
Transitions the editor to a new vim mode.
Returns the screen rect for the file tree panel, or nil if closed.
Updates the active workspace buffer state.
Updates the active window's viewport. No-op when no window is active (the no-window fallback case has no per-window viewport to write).
Updates the active workspace dired state.
Updates the active workspace editing state.
Updates source-owned feature state on the active workspace.
Updates the active workspace FileTree feature state.
Updates the active workspace highlighting state.
Updates the active workspace injection ranges map.
Updates the current vim mode state without changing the mode.
Updates the active workspace mouse state.
Applies a function to remote session state.
Updates the active workspace search state.
Applies a function to the shell state and returns the updated state.
Updates the window struct for the given window id via a mapper function.
Updates the active workspace window state.
Updates every window showing a buffer via a mapper function.
Applies a function to the workspace and returns the updated state.
Adds or updates a GUI notification.
Types
Per-lane serial gate for MingaEditor.AsyncAction: the in-flight operation's
token (or nil when idle) and a FIFO queue of pending zero-arity work funcs.
@type backend() :: :tui | :gui | :native_gui | :headless
@type content_context() :: %{ type: :buffer | :agent, display_name: String.t(), directory: String.t(), dirty: boolean(), filetype: atom() }
Display metadata derived from the active window's content type.
Used by title, modeline, and any other subsystem that needs to answer "what is the user looking at?" without assuming a buffer is active.
@type diff_view_info() :: %{ :source_buf => pid() | nil, :git_root => String.t(), :rel_path => String.t(), :staged => boolean(), :line_metadata => [Minga.Core.DiffView.line_meta()], :hunk_lines => [non_neg_integer()], optional(:view_mode) => :unified | :side_by_side, optional(:pane_width) => pos_integer() }
Metadata for an open diff view buffer.
@type document_highlight() :: Minga.LSP.DocumentHighlight.t()
A document highlight range from the LSP server.
@type events_registry() :: Minga.Events.registry()
Event bus registry used by this editor instance.
@type git_remote_op() :: {msg_ref :: reference(), task_monitor :: reference(), {git_root :: String.t(), success_msg :: String.t(), error_prefix :: String.t()}} | nil
The git_remote_op tracking tuple, or nil when no operation is in flight.
@type keymap_server() :: Minga.Keymap.server()
Re-export of Minga.Keymap.server/0 for editor-state callers.
@type line_number_style() :: :hybrid | :absolute | :relative | :none
Line number display style.
@type options_server() :: Minga.Config.Options.server()
Re-export of Minga.Config.Options.server/0 for editor-state callers.
@type shell_id() :: atom()
@type shell_identity() :: MingaEditor.Shell.Identity.t() | nil
@type shell_state() :: term()
@type shell_state_stash() :: %{ required(shell_id()) => MingaEditor.Shell.StateStash.t() }
@type t() :: %MingaEditor.State{ agent_ingest: pid() | nil, async_actions: %{optional(atom()) => async_lane()}, backend: backend(), buffer_add_context: MingaEditor.Shell.buffer_add_context(), buffer_monitors: %{required(pid()) => reference()}, caches: MingaEditor.Renderer.Caches.t(), capabilities: MingaEditor.Frontend.Capabilities.t(), diff_views: %{required(pid()) => diff_view_info()}, editing_model: :vim | :cua, events_registry: events_registry(), face_override_registries: %{ required(pid()) => MingaEditor.UI.Face.Registry.t() }, focus_stack: [module()], focus_tree: MingaEditor.FocusTree.t() | nil, font_size_override: pos_integer() | nil, git_commit_gen_ref: reference() | nil, git_remote_op: git_remote_op(), gui_config_state: Minga.RenderModel.UI.ConfigState.t() | nil, keyframe_pending?: boolean(), keymap_server: keymap_server(), keystroke_history: MingaEditor.KeystrokeHistory.t(), last_cursor_line: non_neg_integer() | nil, last_input_seq: non_neg_integer(), last_test_command: {String.t(), String.t()} | nil, layout: MingaEditor.Layout.t() | nil, lsp: MingaEditor.State.LSP.t(), message_store: MingaEditor.UI.Panel.MessageStore.t(), notifications: MingaEditor.UI.NotificationCenter.t(), options_server: options_server(), parser_status: MingaEditor.Shell.Traditional.Modeline.parser_status(), pending_quit: :quit | :quit_all | nil, port_manager: GenServer.server() | nil, remote: MingaEditor.State.Remote.t(), render_timer: reference() | nil, renderer: pid() | nil, resource_pressure: MingaEditor.State.ResourcePressure.t(), session: MingaEditor.State.Session.t(), shell: module(), shell_id: shell_id(), shell_identity: shell_identity(), shell_state: shell_state(), shell_state_stash: shell_state_stash(), sidebar_registry: MingaEditor.Extension.Sidebar.table(), terminal_viewport: MingaEditor.Viewport.t(), theme: MingaEditor.UI.Theme.t(), workspace: MingaEditor.Session.State.t() }
Functions
@spec active_buffer(t()) :: non_neg_integer()
Returns the active buffer index.
@spec active_content_context(t()) :: content_context()
Returns display metadata for the active window's content.
Buffer windows return file/buffer metadata. Agent chat windows return agent-specific display info. Falls back to buffer metadata when the active window is nil or unrecognized.
Returns the active shell id, preserving compatibility with tests that still set only :shell.
Returns the active shell module, refreshing from the registry when possible.
@spec active_tab(t()) :: MingaEditor.State.Tab.t() | nil
@spec active_tab_kind(t()) :: MingaEditor.State.Tab.kind()
@spec active_window_struct(t()) :: MingaEditor.Window.t() | nil
Returns the active window struct, or nil if windows aren't initialized.
Adds a new buffer and makes it the active buffer for the current window.
Thin wrapper around add_buffer_pure/3 that applies effects inline.
@spec add_buffer_pure(t(), pid(), keyword()) :: {t(), [MingaEditor.effect()]}
Pure variant of add_buffer/2. Returns {state, effects} instead of
performing side effects directly.
Generic concerns (buffer pool) are handled here. Shell-specific
presentation logic (tab bar, card routing) is dispatched through
shell.on_buffer_added/5. The only effect returned is {:monitor, pid}.
The buffer-add context is read from state.buffer_add_context (set by
picker preview) or overridden via opts[:context]. After dispatch the
field is reset to :open.
@spec agent(t()) :: MingaEditor.State.Agent.t()
Returns the agent stream-ingest coalescer pid, or nil if not started.
@spec apply_render_output(t(), MingaEditor.RenderPipeline.Input.t()) :: t()
Applies render pipeline mutations back to the editor state.
The render pipeline updates window caches (invalidation tracking, context fingerprints), click regions, and layout during rendering. This function writes those mutations back after the pipeline completes.
The render_output is a RenderPipeline.Input struct with the mutated
fields. Only windows, shell_state, layout, and caches carry meaningful
changes; other fields are unchanged.
Applies asynchronous renderer writeback without overwriting editor-owned state.
Async rendering runs from an older RenderPipeline.Input snapshot while the
Editor process continues handling input. The renderer may return stale copies
of windows and shell state, so this function only merges fields owned by the
renderer: global render caches, layout, per-window render caches, and chrome
click regions.
@spec apply_theme(t(), MingaEditor.UI.Theme.t()) :: t()
Switches the active editor theme and re-colors existing syntax highlights.
Sets state.theme and rebuilds each buffer's highlight face_registry
from the new theme so tree-sitter colors update immediately. Buffers with
a syntax override keep their custom palette.
@spec bottom_panel(t()) :: MingaEditor.BottomPanel.t()
Returns the active buffer pid.
Returns the buffer list.
@spec build_agent_tab_defaults(t(), MingaEditor.State.Windows.t(), pid() | nil) :: MingaEditor.State.Tab.context()
Builds a complete per-tab context for an agent tab.
Used by agent tab creation paths to ensure all @per_tab_fields are
populated. Accepts a pre-built Windows struct for the agent chat
window and the agent buffer pid.
@spec build_agent_workspace_context(t(), pid() | nil) :: MingaEditor.State.Tab.context()
Builds a fresh agent-shaped workspace context for shell-owned agent surfaces.
Returns a Tab.context() carrying a single agent-chat window sized to the current viewport, with the agent keymap scope. The caller restores it via restore_tab_context/2 and then activates the relevant shell-owned session pid against the window content.
Falls back to an empty Windows map when no agent buffer is available; the caller's activation step then becomes a no-op.
@spec close_buffer_pure(t(), pid()) :: {t(), [MingaEditor.effect()]}
Pure variant of remove_dead_buffer/2. Returns {state, effects} instead
of performing side effects directly.
Removes the pid from the buffer list, clears it from special buffer slots, switches to another buffer if the active one died, and cleans up the monitor ref. This function is already pure (no process calls), so the effects list is always empty.
@spec current_viewport(t()) :: MingaEditor.Viewport.t()
Returns the viewport for the user's current focus: the active window's viewport when a window is active, otherwise a derived terminal-size viewport (the no-window fallback case). Use this for scroll commands that read/write the focused window's viewport.
Replaces the older active_window_viewport/1 (renamed for symmetry
with terminal_viewport/1).
Removes the async-action gate state for lane, marking it idle.
Deletes an active workspace LSP pending request.
@spec diff_view_for_source(t(), pid()) :: {pid(), diff_view_info()} | nil
@spec diff_view_info(t(), pid() | nil) :: diff_view_info() | nil
@spec diff_views_for_source(t(), pid()) :: [{pid(), diff_view_info()}]
Dismisses a GUI notification by id.
Dismisses a GUI notification only when the auto-dismiss ref still matches.
Drops extension-owned feature state from live and snapshotted workspaces.
@spec drop_feature_state( t(), MingaEditor.FeatureState.source(), MingaEditor.FeatureState.feature_id() ) :: t()
Drops one source-owned feature state entry from the active workspace.
@spec drop_feature_state_source(t(), MingaEditor.FeatureState.source()) :: t()
Drops all feature state owned by a source from live and snapshotted workspaces.
Drops the active workspace FileTree feature state.
Ensures the active shell still exists, falling back to the registry default if it was unregistered.
@spec events_registry(t()) :: events_registry()
Returns the event bus registry used by this editor instance.
@spec file_tree_state(t() | map()) :: MingaEditor.State.FileTree.t()
Returns the active workspace FileTree feature state.
@spec find_agent_chat_window(t()) :: {MingaEditor.Window.id(), MingaEditor.Window.t()} | nil
Finds the agent chat window in the windows map.
Returns {win_id, window} or nil if no agent chat window exists.
@spec find_buffer_by_path(t() | map(), String.t()) :: non_neg_integer() | nil
Returns the index of the buffer whose file path matches file_path, or nil.
Catches :exit for each buffer in case a process has died but not yet been
removed from the buffer list.
@spec find_tab_by_buffer(t(), pid()) :: MingaEditor.State.Tab.t() | nil
@spec focus_window(t(), MingaEditor.Window.id()) :: t()
Switches focus to the given window, saving the current cursor to the outgoing window and restoring the target window's stored cursor.
No-op if target_id is already the active window or windows aren't set up.
@spec get_async_lane(t(), atom()) :: async_lane()
Returns the async-action gate state for lane (idle default when absent).
@spec get_feature_state( t(), MingaEditor.FeatureState.source(), MingaEditor.FeatureState.feature_id() ) :: term() | nil
Returns source-owned feature state from the active workspace, or nil when inactive.
@spec git_status_panel(t()) :: MingaEditor.Shell.Traditional.State.git_status_panel() | nil
@spec gui_config_state(t()) :: Minga.RenderModel.UI.ConfigState.t() | nil
Returns the cached native settings snapshot emitted in-frame (#2119).
@spec hover_popup(t()) :: MingaEditor.HoverPopup.t() | nil
@spec inline_asks(t()) :: MingaEditor.State.InlineAsk.store()
@spec inline_edits(t()) :: MingaEditor.State.InlineEdit.store()
Invalidates render caches for all windows.
Call when the screen layout changes (file tree toggle, agent panel toggle) because cached draws contain baked-in absolute coordinates that become wrong when column offsets shift.
@spec keymap_context(t()) :: [{:keymap_server, keymap_server()}]
Returns the keymap context keyword list passed to scoped key resolution.
@spec keymap_server(t()) :: keymap_server()
Returns the keymap server used for scope and binding lookups.
Returns the set of buffer pids known to the live workspace and tab snapshots.
@spec modal(t()) :: MingaEditor.State.ModalOverlay.t()
Monitors a buffer pid so the Editor receives :DOWN when it dies.
Idempotent: if the pid is already monitored, returns state unchanged.
Monitors a list of buffer pids. Convenience wrapper around monitor_buffer/2.
@spec notification_action(t(), String.t(), String.t()) :: MingaEditor.UI.Notification.Action.t() | nil
Looks up an inline notification action.
@spec options_server(t()) :: options_server()
Returns the options server used for typed option lookups.
@spec put_async_lane(t(), atom(), async_lane()) :: t()
Stores the async-action gate state for lane.
@spec put_feature_state( t(), MingaEditor.FeatureState.source(), MingaEditor.FeatureState.feature_id(), term() ) :: t()
Stores source-owned feature state on the active workspace.
Stores the cached native settings snapshot emitted in-frame (#2119).
Adds or replaces an active workspace LSP pending request.
Rebinds the logical file identity for matching tabs and their workspaces.
Use this after a buffer save, save-as, or path retarget so the live tab and its workspace stop pointing at stale buffer refs and start pointing at the new path ref.
@spec rebuild_agent_from_session(t(), MingaEditor.State.Tab.t()) :: t()
Rebuilds the agent rendering cache from the Session process when
switching to an agent tab. The Session is the source of truth for
status, pending approval, and error; the cache lives on
state.shell_state.agent and is repopulated from the Tab's session
pid on every tab switch.
The session pid itself lives on Tab.session (see set_tab_session/3),
not on the agent cache. AgentAccess.session/1 reads it through the
shell behaviour.
@spec register_diff_view(t(), pid(), diff_view_info()) :: t()
Removes a dead buffer pid from all state locations.
Called from the Editor's :DOWN handler. Removes the pid from the buffer
list, clears it from special buffer slots (messages, warnings, help), and
switches to another buffer if the active one died. Also cleans up the
monitor ref.
Thin wrapper around close_buffer_pure/2 that applies effects inline.
Clears frontend-retained render state after a frontend ready/recovery event.
@spec restore_tab_context( t(), MingaEditor.State.Tab.context() | MingaEditor.State.Tab.legacy_context() ) :: t()
Writes a tab context back into the live editor state.
The context carries workspace fields as an explicit struct. Empty context means a brand-new tab; we build defaults with the current active buffer and viewport dimensions.
Returns the appropriate keymap scope for the active window's content type.
Used when leaving the file tree (toggle, close, navigate right) to restore the correct scope. Returns :agent for agent chat windows, :editor otherwise.
@spec scope_for_content( MingaEditor.Window.Content.t(), Minga.Keymap.Scope.scope_name() ) :: Minga.Keymap.Scope.scope_name()
Derives the keymap scope from a window's content type.
Agent chat windows always use :agent scope. Buffer windows use
:editor when coming from :agent scope, and preserve the current
scope otherwise (e.g., :file_tree stays as :file_tree).
@spec screen_rect(t()) :: MingaEditor.WindowTree.rect()
Returns the screen rect for layout computation, excluding the global minibuffer row and reserving space for the file tree panel when open.
Scrolls the agent chat window's viewport by delta lines and updates
pinned state. Delegates to Window.scroll_viewport/3.
Returns the state unchanged if no agent chat window exists.
@spec set_agent(t(), MingaEditor.State.Agent.t()) :: t()
Stores the agent stream-ingest coalescer pid (see MingaEditor.Agent.Ingest).
@spec set_agent_ui(t(), MingaEditor.Agent.UIState.t()) :: t()
Replaces the active workspace agent UI state.
@spec set_bottom_panel(t(), MingaEditor.BottomPanel.t()) :: t()
@spec set_buffer_add_context(t(), MingaEditor.Shell.buffer_add_context()) :: t()
Sets the context for the next add_buffer call.
Used by picker preview to mark buffer additions as transient previews
rather than permanent opens. The context is consumed and reset to
:open by add_buffer_pure/3.
@spec set_buffers(t(), MingaEditor.State.Buffers.t()) :: t()
Replaces the active workspace buffer state.
@spec set_change_recorder(t(), MingaEditor.ChangeRecorder.t()) :: t()
Replaces the vim change recorder.
@spec set_dired(t(), MingaEditor.State.Dired.t()) :: t()
Replaces the active workspace dired state.
@spec set_document_highlights(t(), [document_highlight()] | nil) :: t()
Replaces the active workspace document highlights.
@spec set_editing(t(), MingaEditor.VimState.t()) :: t()
Replaces the active workspace editing state.
@spec set_file_tree(t(), MingaEditor.State.FileTree.t()) :: t()
Replaces the active workspace FileTree feature state.
@spec set_git_remote_op(t(), git_remote_op()) :: t()
@spec set_git_status_panel( t(), MingaEditor.Shell.Traditional.State.git_status_panel() | nil ) :: t()
@spec set_git_toast(t(), MingaEditor.Shell.Traditional.State.git_toast()) :: t()
@spec set_highlight(t(), MingaEditor.State.Highlighting.t()) :: t()
Replaces the active workspace highlighting state.
@spec set_hover_popup(t(), MingaEditor.HoverPopup.t()) :: t()
@spec set_injection_ranges(t(), %{ required(pid()) => [Minga.Language.Highlight.InjectionRange.t()] }) :: t()
Replaces the active workspace injection ranges map.
@spec set_inline_asks(t(), MingaEditor.State.InlineAsk.store()) :: t()
@spec set_inline_edits(t(), MingaEditor.State.InlineEdit.store()) :: t()
@spec set_keymap_scope(t(), Minga.Keymap.Scope.scope_name()) :: t()
Sets the active workspace keymap scope.
@spec set_last_find_char(t(), MingaEditor.VimState.last_find_char()) :: t()
Records the last find-char motion.
@spec set_last_jump_pos(t(), Minga.Buffer.position() | nil) :: t()
Records the cursor position before a jump.
Replaces the active workspace LSP pending request map.
@spec set_macro_recorder(t(), MingaEditor.MacroRecorder.t()) :: t()
Replaces the vim macro recorder.
@spec set_marks(t(), MingaEditor.VimState.marks()) :: t()
Replaces the vim marks map.
@spec set_modal(t(), MingaEditor.State.ModalOverlay.t()) :: t()
@spec set_mode_state(t(), Minga.Mode.state()) :: t()
Replaces the current vim mode state without changing the mode.
Use this only for same-mode state updates where the replacement has the shape expected by the current mode. Use transition_mode/3 when changing modes so VimState can keep mode and mode_state aligned.
@spec set_mouse(t(), MingaEditor.State.Mouse.t()) :: t()
Replaces the active workspace mouse state.
@spec set_observatory_data(t(), MingaEditor.Observatory.Data.t() | nil) :: t()
@spec set_observatory_inspection(t(), MingaEditor.Observatory.Inspection.t() | nil) :: t()
@spec set_registers(t(), MingaEditor.State.Registers.t()) :: t()
Replaces the vim register state.
@spec set_resource_pressure( t(), boolean(), MingaEditor.State.ResourcePressure.thermal_state() ) :: t()
Updates the current frontend-reported resource pressure.
@spec set_search(t(), MingaEditor.State.Search.t()) :: t()
Replaces the active workspace search state.
@spec set_tab_bar(t(), MingaEditor.State.TabBar.t() | nil) :: t()
@spec set_tab_session(t(), MingaEditor.State.Tab.id(), pid() | nil) :: t()
@spec set_terminal_viewport(t(), MingaEditor.Viewport.t()) :: t()
Stores a new terminal viewport. Called by the editor's resize handler when the frontend reports a new screen size.
@spec set_viewport(t(), MingaEditor.Viewport.t()) :: t()
Sets the active workspace viewport.
@spec set_whichkey(t(), MingaEditor.State.WhichKey.t()) :: t()
@spec set_windows(t(), MingaEditor.State.Windows.t()) :: t()
Replaces the active workspace window state.
@spec set_workspace(t(), MingaEditor.Session.State.t()) :: t()
Replaces the active workspace.
@spec set_yank_flash(t(), MingaEditor.YankFlash.t()) :: t()
@spec sidebar_registry(t() | map()) :: MingaEditor.Extension.Sidebar.table()
Returns the active sidebar registry table for this state.
Returns true if the given tool should NOT be prompted for installation.
A tool is skipped when it's already declined this session, already installed, currently being installed, or already in the prompt queue.
@spec snapshot_tab_context(t()) :: MingaEditor.State.Tab.context()
Captures the current per-tab fields into a context struct.
The returned struct is stored in the outgoing tab so it can be restored when the user switches back.
Returns true if the editor has more than one window.
@spec start_buffer(String.t(), Minga.Config.Options.server() | nil) :: {:ok, pid()} | {:error, term()}
Starts a new buffer under the buffer supervisor for the given file path.
@spec switch_buffer(t(), non_neg_integer()) :: t()
Switches to the buffer at idx, making it active for the current window.
Centralizes Buffers.switch_to + window sync so callers don't need to
remember to call sync_active_window_buffer/1. Shell-specific
presentation logic (tab label updates, etc.) is dispatched through
shell.on_buffer_switched/2.
Switches to a registered shell by id, stashing the current shell state by shell id.
@spec switch_tab(t(), MingaEditor.State.Tab.id()) :: t()
Switches to the tab with target_id.
Snapshots the current tab's context, stores it, updates the tab bar's active pointer, and restores the target tab's saved context into the live editor state. Invalidates layout and window caches since the entire visual context changes.
Thin wrapper around switch_tab_pure/2 that applies effects inline.
@spec switch_tab_pure(t(), MingaEditor.State.Tab.id()) :: {t(), [MingaEditor.effect()]}
Pure variant of switch_tab/2. Returns {state, effects} instead of
performing side effects directly.
Snapshots the current tab's context, updates the tab bar pointer, restores the target tab's context, invalidates layout. Side effects (spinner stop/start, agent session rebuild) are returned as effects.
The returned effects list may include:
:stop_spinner— cancel the outgoing agent's spinner timer{:rebuild_agent_session, tab}— rebuild agent state from session process:start_spinner— conditionally restart spinner for incoming agent
Syncs the active window's buffer reference with state.workspace.buffers.active.
Call this after any operation that changes state.workspace.buffers.active to keep the
window tree consistent. No-op when windows aren't initialized.
Snapshots the active buffer's cursor into the active window struct.
Call this before rendering split views so inactive windows have a fresh cursor position for the active window when it becomes inactive later.
Syncs the live workspace agent UI mirror from the active workspace.
@spec tab_bar(t()) :: MingaEditor.State.TabBar.t() | nil
@spec terminal_viewport(t()) :: MingaEditor.Viewport.t()
Returns the terminal-level viewport: total screen rows/cols reported by the frontend on resize. Used for screen-spanning chrome (picker, popups, completion menu placement) and for layout computation that needs the editor's full canvas.
This is distinct from current_viewport/1, which scopes to the
active window's viewport.
@spec transition_mode(t(), Minga.Mode.mode(), Minga.Mode.state() | nil) :: t()
Transitions the editor to a new vim mode.
Convenience wrapper around VimState.transition/3 that operates on
the full EditorState. This is the preferred API for call sites that
already have an EditorState.
Examples
# Simple transition (uses default mode_state):
EditorState.transition_mode(state, :normal)
EditorState.transition_mode(state, :insert)
# With explicit mode_state (required for visual, search, etc.):
EditorState.transition_mode(state, :visual, %VisualState{...})@spec tree_rect(t()) :: MingaEditor.WindowTree.rect() | nil
Returns the screen rect for the file tree panel, or nil if closed.
@spec update_buffers(t(), (MingaEditor.State.Buffers.t() -> MingaEditor.State.Buffers.t())) :: t()
Updates the active workspace buffer state.
@spec update_current_viewport(t(), MingaEditor.Viewport.t()) :: t()
Updates the active window's viewport. No-op when no window is active (the no-window fallback case has no per-window viewport to write).
Replaces the older put_active_window_viewport/2.
@spec update_dired(t(), (MingaEditor.State.Dired.t() -> MingaEditor.State.Dired.t())) :: t()
Updates the active workspace dired state.
@spec update_editing(t(), (MingaEditor.VimState.t() -> MingaEditor.VimState.t())) :: t()
Updates the active workspace editing state.
@spec update_feature_state( t(), MingaEditor.FeatureState.source(), MingaEditor.FeatureState.feature_id(), term(), (term() -> term()) ) :: t()
Updates source-owned feature state on the active workspace.
@spec update_file_tree(t(), (MingaEditor.State.FileTree.t() -> MingaEditor.State.FileTree.t())) :: t()
Updates the active workspace FileTree feature state.
@spec update_highlight(t(), (MingaEditor.State.Highlighting.t() -> MingaEditor.State.Highlighting.t())) :: t()
Updates the active workspace highlighting state.
@spec update_injection_ranges(t(), (%{ required(pid()) => [ Minga.Language.Highlight.InjectionRange.t() ] } -> %{ required(pid()) => [ Minga.Language.Highlight.InjectionRange.t() ] })) :: t()
Updates the active workspace injection ranges map.
@spec update_lsp(t(), (MingaEditor.State.LSP.t() -> MingaEditor.State.LSP.t())) :: t()
@spec update_mode_state(t(), (Minga.Mode.state() -> Minga.Mode.state())) :: t()
Updates the current vim mode state without changing the mode.
Use this only for same-mode state updates where the mapper preserves the state shape expected by the current mode. Use transition_mode/3 when changing modes so VimState can keep mode and mode_state aligned.
@spec update_mouse(t(), (MingaEditor.State.Mouse.t() -> MingaEditor.State.Mouse.t())) :: t()
Updates the active workspace mouse state.
@spec update_remote(t(), (MingaEditor.State.Remote.t() -> MingaEditor.State.Remote.t())) :: t()
Applies a function to remote session state.
@spec update_search(t(), (MingaEditor.State.Search.t() -> MingaEditor.State.Search.t())) :: t()
Updates the active workspace search state.
@spec update_shell_state(t() | %{shell_state: shell_state()}, (shell_state() -> shell_state())) :: t() | %{shell_state: shell_state()}
Applies a function to the shell state and returns the updated state.
@spec update_window(t(), MingaEditor.Window.id(), (MingaEditor.Window.t() -> MingaEditor.Window.t())) :: t()
Updates the window struct for the given window id via a mapper function.
@spec update_windows(t(), (MingaEditor.State.Windows.t() -> MingaEditor.State.Windows.t())) :: t()
Updates the active workspace window state.
@spec update_windows_for_buffer(t(), pid(), (MingaEditor.Window.t() -> MingaEditor.Window.t())) :: t()
Updates every window showing a buffer via a mapper function.
@spec update_workspace(t(), (MingaEditor.Session.State.t() -> MingaEditor.Session.State.t())) :: t()
Applies a function to the workspace and returns the updated state.
@spec upsert_notification(t(), MingaEditor.UI.Notification.t()) :: t()
Adds or updates a GUI notification.
@spec whichkey(t()) :: MingaEditor.State.WhichKey.t()
@spec yank_flash(t()) :: MingaEditor.YankFlash.t() | nil