Description
Create
function Create (Width, Height : Positive) return Model
Parameters
- Width
- Height
Return value
Height
function Height (Item : Model) return Natural
Parameters
- Item
Return value
Is_Empty
function Is_Empty (Item : Model) return Boolean
Parameters
- Item
Return value
Item_Array
type Item_Array is array (Positive range <>) of Item_Type;
Item_Type
type Item_Type is private;
Label
function Label (Item : Item_Type) return Wide_Wide_String
Parameters
- Item
Return value
Model
type Model is tagged private;
Render
function Render
(Item : Model;
Appearance : Flyology_TUI.Styles.Style :=
Flyology_TUI.Styles.Default;
Selected_Appearance : Flyology_TUI.Styles.Style :=
Flyology_TUI.Styles.Default)
return Flyology_TUI.Surfaces.Surface
Parameters
- Item
- Appearance
- Selected_Appearance
Return value
Render
function Render
(Item : Model;
Theme : Flyology_TUI.Themes.Theme)
return Flyology_TUI.Surfaces.Surface
Render ordinary rows with Muted and the selected row with Selected.
Parameters
- Item
- Theme
Return value
Selected_Index
function Selected_Index (Item : Model) return Natural
Parameters
- Item
Return value
Selected_Item
function Selected_Item (Item : Model) return Item_Type
Parameters
- Item
Return value
Set_Items
procedure Set_Items (Item : in out Model; Values : Item_Array)
Parameters
- Item
- Values
Set_Size
procedure Set_Size
(Item : in out Model;
Width, Height : Natural)
Replace both retained dimensions atomically. Zero dimensions are valid. A product which cannot be represented raises Capacity_Error and leaves dimensions, selection, and scroll offset unchanged.
Parameters
- Item
- Width
- Height
Update
procedure Update
(Item : in out Model;
Event : Flyology_TUI.Events.Terminal_Event)
Mouse coordinates are relative to the surface returned by Render. Left-click selects a visible row; the wheel moves the selection.
Parameters
- Item
- Event
Width
function Width (Item : Model) return Natural
Parameters
- Item