MingaEditor.State.WhichKey (Minga v0.1.0)

Copy Markdown View Source

Groups which-key popup fields from EditorState.

Tracks the current trie node (for leader-key navigation), the pending timeout reference, and whether the popup should be displayed.

Summary

Types

t()

Functions

clear(wk)

Returns a cleared (reset) which-key state.

Types

t()

@type t() :: %MingaEditor.State.WhichKey{
  node: Minga.Keymap.Bindings.node_t() | nil,
  page: non_neg_integer(),
  prefix_keys: [String.t()],
  show: boolean(),
  timer: MingaEditor.UI.WhichKey.timer_ref() | nil
}

Functions

clear(wk)

@spec clear(t()) :: t()

Returns a cleared (reset) which-key state.