MingaEditor.PromptUI (Minga v0.1.0)

Prompt UI: open, key handling, and close.

Manages a single-line text input prompt in the minibuffer area. Extensions use this for collecting free-form text input (capture titles, rename targets, search queries). All functions are pure state -> state transformations.

Prompts and pickers are mutually exclusive: opening a prompt closes any active picker. The replacement is handled automatically by MingaEditor.Shell.Traditional.ModalWorkflow.open/2.

Usage

# Open a prompt
state = PromptUI.open(state, MyCapturePrompt)
state = PromptUI.open(state, MyCapturePrompt, default: "pre-filled")

# Keys are routed here when prompt is active
{state, action} = PromptUI.handle_key(state, key, mods)

Summary

Types

action()

Optional action the GenServer should dispatch after handle_key.

state()

Internal editor state.

Functions

close(state)

Closes the prompt without calling any handler callback.

handle_key(state, key, mods)

Handles a key event while the prompt is active.

open(state, handler_module, opts \\ [])

Opens a text input prompt with the given handler module.

open?(state)

Returns true if a prompt is currently open.

render_data(state)

Returns the label and current text for rendering.

update_prompt(state, fun)

Applies fun to the current PromptState inside the modal and writes back via MingaEditor.Shell.Traditional.ModalWorkflow.transition, keeping the modal sum type and consistency check in sync.

Types

action()

@type action() :: nil

Optional action the GenServer should dispatch after handle_key.

state()

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

Internal editor state.

Functions

close(state)

@spec close(state()) :: state()

Closes the prompt without calling any handler callback.

handle_key(state, key, mods)

@spec handle_key(state(), non_neg_integer(), non_neg_integer()) :: {state(), action()}

Handles a key event while the prompt is active.

Returns {state, action} where action is always nil (prompts don't produce deferred actions like the picker does).

open(state, handler_module, opts \\ [])

@spec open(state(), module(), keyword()) :: state()

Opens a text input prompt with the given handler module.

Replaces any active modal (the gate's replacement policy handles the picker → prompt transition). An optional :default value pre-fills the input field. An optional :context map is stored for the handler to read.

Options

:default — pre-filled text (default: "")
:context — arbitrary map passed through to the handler (default: nil)
:label — prompt label override (default: handler_module.label())

open?(state)

@spec open?(state()) :: boolean()

Returns true if a prompt is currently open.

render_data(state)

@spec render_data(state()) :: {String.t(), String.t(), non_neg_integer()}

Returns the label and current text for rendering.

Returns {label, text, cursor_col} where cursor_col is the column within the text (not including the label width).

update_prompt(state, fun)

@spec update_prompt(state(), (MingaEditor.State.Prompt.t() ->
                          MingaEditor.State.Prompt.t())) :: state()

Applies fun to the current PromptState inside the modal and writes back via MingaEditor.Shell.Traditional.ModalWorkflow.transition, keeping the modal sum type and consistency check in sync.