MingaEditor.Commands.BufferManagement (Minga v0.1.0)

Copy Markdown View Source

Buffer management commands: save/reload/quit, buffer list/navigation/kill, ex-command dispatch, and line number style cycling.

Summary

Types

format_terminal()
save_action()
save_continuation()
session_restart_ownership()
state()

Functions

alternate_file(state)
apply_filetype_change(state, filetype)

Changes the active buffer's filetype and triggers a highlight reparse.

continue_after_format(state, continuation, terminal)
execute(state, arg2)
handle_agent_session_down(state, session_pid, reason)

Cleans up editor state after an agent session dies (:DOWN handler).

handle_agent_session_restarted(state, session_id, old_pid, new_pid, reason)

Refreshes editor state after SessionManager restarts a managed session.

handle_application_quit_decision(state, request_id, arg3)

Applies a correlated decision to the active native application-quit handshake.

handle_application_quit_request(state, request_id)

Begins a native application-quit handshake without consulting confirm_quit.

handle_file_dialog_result(state, request_id, result)

Applies a correlated native file-dialog result to its BEAM-owned origin.

open_special_buffer(state, buffer_name, buffer_pid)

Opens a special buffer in a popup window or switches to it.

prepare_agent_session_restart(state, old_pid)

Normalizes shell identity and returns whether the old session is still owned.

reload_config(state)
reload_config(state, reload_module)

Schedules config reload through an explicit reload implementation.

reload_config(state, reload_module, reload_args)

Schedules config reload with explicit data arguments for the reload implementation.

retry_application_quit_response(state, request_id, outcome, dirty_count, buffer_name, detail)

Retries one correlated lifecycle response after temporary transport pressure.

tab_goto(state, cmd)

Types

format_terminal()

@type format_terminal() ::
  {:committed, non_neg_integer()}
  | :unchanged
  | {:failed, term()}
  | :stale
  | :canceled

save_action()

@type save_action() ::
  :save
  | {:save_quit, MingaEditor.State.Tab.id() | nil}
  | {:save_as, Minga.Buffer.save_intent()}
  | {:application_quit, non_neg_integer(), [{pid(), String.t()}], String.t()}

save_continuation()

@type save_continuation() ::
  {:save_after_format, pid(), non_neg_integer(), save_action()}

session_restart_ownership()

@type session_restart_ownership() :: {:owned, state()} | {:stale, state()}

state()

@type state() :: MingaEditor.State.t()

Functions

alternate_file(state)

@spec alternate_file(state()) :: state()

apply_filetype_change(state, filetype)

@spec apply_filetype_change(state(), atom()) :: state()

Changes the active buffer's filetype and triggers a highlight reparse.

Used by the language picker (LanguageSource.on_select) and the :set ft= ex command. Centralizes the side effects so both paths stay in sync.

continue_after_format(state, continuation, terminal)

@spec continue_after_format(state(), save_continuation(), format_terminal()) ::
  state()

execute(state, arg2)

@spec execute(state(), Minga.Mode.command()) :: state()

handle_agent_session_down(state, session_pid, reason)

@spec handle_agent_session_down(state(), pid(), term()) :: state()

Cleans up editor state after an agent session dies (:DOWN handler).

The session is already dead, so no stop/unsubscribe is needed. This clears the spinner, agent state, tab session/status, and workspace.

handle_agent_session_restarted(state, session_id, old_pid, new_pid, reason)

@spec handle_agent_session_restarted(state(), String.t(), pid(), pid(), term()) ::
  state()

Refreshes editor state after SessionManager restarts a managed session.

handle_application_quit_decision(state, request_id, arg3)

@spec handle_application_quit_decision(
  state(),
  non_neg_integer(),
  MingaEditor.Frontend.Protocol.application_quit_decision()
) :: state()

Applies a correlated decision to the active native application-quit handshake.

handle_application_quit_request(state, request_id)

@spec handle_application_quit_request(state(), non_neg_integer()) :: state()

Begins a native application-quit handshake without consulting confirm_quit.

handle_file_dialog_result(state, request_id, result)

@spec handle_file_dialog_result(
  state(),
  non_neg_integer(),
  :cancel | {:open, [String.t()]} | {:save_as, String.t()}
) :: state()

Applies a correlated native file-dialog result to its BEAM-owned origin.

open_special_buffer(state, buffer_name, buffer_pid)

@spec open_special_buffer(state(), String.t(), pid()) :: state()

Opens a special buffer in a popup window or switches to it.

prepare_agent_session_restart(state, old_pid)

@spec prepare_agent_session_restart(state(), pid()) :: session_restart_ownership()

Normalizes shell identity and returns whether the old session is still owned.

reload_config(state)

@spec reload_config(state()) :: state()

reload_config(state, reload_module)

@spec reload_config(state(), module()) :: state()
@spec reload_config(state(), (state() -> {:ok | {:error, String.t()}, state()})) ::
  state()

Schedules config reload through an explicit reload implementation.

reload_config(state, reload_module, reload_args)

@spec reload_config(state(), module(), [term()]) :: state()

Schedules config reload with explicit data arguments for the reload implementation.

retry_application_quit_response(state, request_id, outcome, dirty_count, buffer_name, detail)

@spec retry_application_quit_response(
  state(),
  non_neg_integer(),
  MingaEditor.Frontend.Protocol.application_quit_outcome(),
  non_neg_integer(),
  String.t(),
  String.t()
) :: state()

Retries one correlated lifecycle response after temporary transport pressure.

tab_goto(state, cmd)

@spec tab_goto(state(), atom()) :: state()