TerminalExtensions
Namespace: Hex1b
Assembly: Hex1b.dll
Extension methods for creating TerminalWidget.
public static class TerminalExtensionsInheritance
Object → TerminalExtensions
Methods
CopyModeBindings(TerminalWidget, Action<CopyModeBindingsOptions>?)
Enables standard copy mode bindings with configurable key and mouse mappings. Provides vi-style keyboard navigation, character/line/block selection, and mouse drag-to-select with modifier keys.
Parameters:
widget(TerminalWidget): The TerminalWidget to configure.configure(Action<CopyModeBindingsOptions>): Optional callback to customize the default bindings.
Returns: TerminalWidget
The configured TerminalWidget.
public static TerminalWidget CopyModeBindings(this TerminalWidget widget, Action<CopyModeBindingsOptions>? configure = null)Terminal<TParent>(WidgetContext<TParent>, TerminalWidgetHandle)
Creates a TerminalWidget that displays the content of the specified terminal handle.
Parameters:
ctx(WidgetContext<<TParent>>): The widget context.handle(TerminalWidgetHandle): The terminal handle to display.
Returns: TerminalWidget
A new TerminalWidget bound to the handle.
public static TerminalWidget Terminal<TParent>(this WidgetContext<TParent> ctx, TerminalWidgetHandle handle) where TParent : Hex1bWidgetWhenNotRunning(TerminalWidget, Func<TerminalNotRunningArgs, Hex1bWidget>)
Specifies a fallback widget to display when the terminal is not running.
Parameters:
widget(TerminalWidget): The TerminalWidget to configure.builder(Func<TerminalNotRunningArgs, Hex1bWidget>): A callback that builds the fallback widget. Receives the terminal state and exit code (if completed).
Returns: TerminalWidget
The configured TerminalWidget.
public static TerminalWidget WhenNotRunning(this TerminalWidget widget, Func<TerminalNotRunningArgs, Hex1bWidget> builder)WithMouseWheelScrollAmount(TerminalWidget, int)
Sets the number of rows to scroll per mouse wheel tick.
Parameters:
widget(TerminalWidget): The TerminalWidget to configure.rows(Int32): Number of rows per scroll tick. Defaults to 3.
Returns: TerminalWidget
The configured TerminalWidget.
public static TerminalWidget WithMouseWheelScrollAmount(this TerminalWidget widget, int rows)