MingaEditor.State.Search (Minga v0.1.0)

Groups search-related fields from EditorState.

Tracks the last search pattern and direction (for n/N repeat), the pending project-wide search query (read off the editor path by the project search picker source), and the GUI search toolbar state (active, flags, replace mode).

Summary

Types

gui_search()

GUI search toolbar state. Non-nil means the toolbar is active.

t()

Functions

activate_gui_search(s, case_sensitive, whole_word, regex)

Activates the GUI search toolbar with the given flags.

dismiss_gui_search(s)

Dismisses the GUI search toolbar.

gui_search_active?(search)

Returns whether the GUI search toolbar is active.

record(s, pattern, direction)

Records the last search pattern and direction.

record_pattern(s, pattern)

Records just the last search pattern (keeps existing direction).

set_gui_replace_mode(s, replace_mode)

Sets replace mode on the GUI search toolbar.

set_last_direction(s, direction)

Sets just the last search direction.

set_project_query(s, query)

Stores the pending project-wide search query for the async picker source.

update_gui_search_flags(s, case_sensitive, whole_word, regex)

Updates the GUI search toolbar flags. Activates the toolbar with replace_mode: false if not already active.

Types

gui_search()

@type gui_search() :: %{
  replace_mode: boolean(),
  case_sensitive: boolean(),
  whole_word: boolean(),
  regex: boolean()
}

GUI search toolbar state. Non-nil means the toolbar is active.

t()

@type t() :: %MingaEditor.State.Search{
  gui_search: gui_search() | nil,
  last_direction: Minga.Editing.Search.direction(),
  last_pattern: String.t() | nil,
  project_query: String.t() | nil
}

Functions

activate_gui_search(s, case_sensitive, whole_word, regex)

@spec activate_gui_search(t(), boolean(), boolean(), boolean()) :: t()

Activates the GUI search toolbar with the given flags.

dismiss_gui_search(s)

@spec dismiss_gui_search(t()) :: t()

Dismisses the GUI search toolbar.

gui_search_active?(search)

@spec gui_search_active?(t()) :: boolean()

Returns whether the GUI search toolbar is active.

record(s, pattern, direction)

@spec record(t(), String.t(), Minga.Editing.Search.direction()) :: t()

Records the last search pattern and direction.

record_pattern(s, pattern)

@spec record_pattern(t(), String.t()) :: t()

Records just the last search pattern (keeps existing direction).

set_gui_replace_mode(s, replace_mode)

@spec set_gui_replace_mode(t(), boolean()) :: t()

Sets replace mode on the GUI search toolbar.

set_last_direction(s, direction)

@spec set_last_direction(t(), Minga.Editing.Search.direction()) :: t()

Sets just the last search direction.

set_project_query(s, query)

@spec set_project_query(t(), String.t()) :: t()

Stores the pending project-wide search query for the async picker source.

update_gui_search_flags(s, case_sensitive, whole_word, regex)

@spec update_gui_search_flags(t(), boolean(), boolean(), boolean()) :: t()

Updates the GUI search toolbar flags. Activates the toolbar with replace_mode: false if not already active.