class

Cri::Tui::UiRuntime

Inherits Cri::Effects::UiSink < Reference < Object

Application-scoped UI root. All buffer and panel changes publish to one event bus; workspaces only own panel/layout state.

Constructors

new(events : EventBus = EventBus.new, clipboard : Clipboard = MemoryClipboard.new)

Source

Instance methods

actions

Source

activate_workspace(id : String)

Source

activity

Source

append_transcript(text : String, group : String | Nil = nil)

Source

append_ui_buffer(id : String, content : String, owner : String) : String

Source

begin_command

Command mode is a command-line operation, so it temporarily focuses the dedicated Prompt buffer and restores the previous panel on exit.

begin_insert

begin_visual

buffers

clipboard

close_buffer(id : String, force : Bool = false) : Bool

Source

create_buffer(id : String, content : String = "", owner : String = "extension", persistent : Bool = false, mode : Mode = Mode::Normal) : TextBuffer

Source

create_panel(workspace_id : String, id : String, buffer_id : String, title : String, position : String = "right", editable : Bool = true) : Panel

Source

create_text_panel(id : String, title : String, position : String = "right", owner : String = "extension") : TextBuffer

Source

create_ui_buffer(id : String, content : String, owner : String) : String

Source

create_workspace(id : String) : Workspace

Source

define_style(group : String, style : Style)

Source

define_ui_style(group : String, foreground : Int32 | Nil, bold : Bool, underline : Bool, owner : String) : String

end_command

end_insert

end_visual

events

focus_ui_panel(id : String, owner : String) : String

focused_buffer

input

input_panel

invalidate(reason : String = "ui.changed")

Source

keymap

Source

mode

Source

notify(message : String, level : String)

Source

open_ui_panel(id : String, buffer_id : String, title : String, position : String, focus : Bool, owner : String) : String

Source

prompt_focused?

Source

replace_ui_buffer(id : String, content : String, owner : String) : String

Source

restore_session(session : Session)

Source

set_activity(text : String, group : String | Nil = nil)

Source

set_ui_highlight(id : String, start : Int32, finish : Int32, group : String, owner : String) : String

subscribe_all

theme

transcript

workspace

workspaces

yank_selection