← All compilation units

Flyology_TUI.Components.Help

Description

Binding

type Binding is record
   Key         : Text.Unbounded_Wide_Wide_String;
   Description : Text.Unbounded_Wide_Wide_String;
   Enabled     : Boolean := True;
end record;
Record fields
Key
Description
Enabled

Binding_Array

type Binding_Array is array (Positive range <>) of Binding;

Render

function Render
  (Bindings : Binding_Array;
   Width    : Positive;
   Theme    : Flyology_TUI.Themes.Theme;
   Vertical : Boolean := True)
   return Flyology_TUI.Surfaces.Surface

Render keys with Primary and descriptions with Muted.

Parameters
Bindings
Width
Theme
Vertical
Return value

Render

function Render
  (Bindings          : Binding_Array;
   Width             : Positive;
   Vertical          : Boolean := True;
   Key_Appearance    : Flyology_TUI.Styles.Style :=
     Flyology_TUI.Styles.Default;
   Detail_Appearance : Flyology_TUI.Styles.Style :=
     Flyology_TUI.Styles.Default)
   return Flyology_TUI.Surfaces.Surface
Parameters
Bindings
Width
Vertical
Key_Appearance
Detail_Appearance
Return value