Description
"="
function "=" (Left, Right : Id_Type) return Boolean
Parameters
- Left
- Right
Return value
Appearance
type Appearance is record
Normal : Flyology_TUI.Styles.Style := Flyology_TUI.Styles.Default;
Selected : Flyology_TUI.Styles.Style := Flyology_TUI.Styles.Default;
Focused : Flyology_TUI.Styles.Style := Flyology_TUI.Styles.Default;
Muted : Flyology_TUI.Styles.Style := Flyology_TUI.Styles.Default;
Disclosure : Flyology_TUI.Styles.Style := Flyology_TUI.Styles.Default;
end record;
Record fields
- Normal
- Selected
- Focused
- Muted
- Disclosure
Capacity
Capacity : Positive;
Create
function Create
(Values : Item_Array;
Viewport_Rows : Natural := 8;
Enabled : Boolean := True) return Model
Parameters
- Values
- Viewport_Rows
- Enabled
Return value
Depth_Of
function Depth_Of (Item : Item_Type) return Natural
Parameters
- Item
Return value
Disclosure_Region
function Disclosure_Region
(Item : Model; Visible_Position : Positive)
return Flyology_TUI.Geometry.Rectangle
Parameters
- Item
- Visible_Position
Return value
First_Visible_Row
function First_Visible_Row (Item : Model) return Natural
Parameters
- Item
Return value
From_Theme
function From_Theme
(Theme : Flyology_TUI.Themes.Theme) return Appearance
Parameters
- Theme
Return value
Handle
function Handle
(Item : in out Model;
Event : Flyology_TUI.Events.Terminal_Event)
return Flyology_TUI.Components.Interactions.Update_Result
Parameters
- Item
- Event
Return value
Handle
function Handle
(Item : in out Model;
Event : Flyology_TUI.Mouse.Local_Event)
return Flyology_TUI.Components.Interactions.Update_Result
Parameters
- Item
- Event
Return value
Height
function Height (Item : Model) return Natural
Parameters
- Item
Return value
Id_Of
function Id_Of (Item : Item_Type) return Id_Type
Parameters
- Item
Return value
Id_Type
type Id_Type is private;
Is_Empty
function Is_Empty (Item : Model) return Boolean
Parameters
- Item
Return value
Is_Enabled
function Is_Enabled (Item : Model) return Boolean
Parameters
- Item
Return value
Is_Expanded
function Is_Expanded (Item : Model; Id : Id_Type) return Boolean
Parameters
- Item
- Id
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
Length
function Length (Item : Model) return Natural
Parameters
- Item
Return value
Model
type Model is tagged private;
Render
function Render
(Item : Model;
Look : Appearance;
Has_Focus : Boolean := False) return Flyology_TUI.Surfaces.Surface
Parameters
- Item
- Look
- Has_Focus
Return value
Render
function Render
(Item : Model;
Theme : Flyology_TUI.Themes.Theme;
Has_Focus : Boolean := False) return Flyology_TUI.Surfaces.Surface
Parameters
- Item
- Theme
- Has_Focus
Return value
Select_Id
procedure Select_Id (Item : in out Model; Id : Id_Type)
Parameters
- Item
- Id
Selected_Id
function Selected_Id (Item : Model) return Id_Type
Parameters
- Item
Return value
Set_Enabled
procedure Set_Enabled (Item : in out Model; Enabled : Boolean)
Parameters
- Item
- Enabled
Set_Expanded
procedure Set_Expanded
(Item : in out Model; Id : Id_Type; Expanded : Boolean := True)
Collapsing a node whose descendant is selected moves selection to the collapsed node. Descendant expansion flags remain available on reopen.
Parameters
- Item
- Id
- Expanded
Set_Maximum_Width
procedure Set_Maximum_Width (Item : in out Model; Width : Natural)
Parameters
- Item
- Width
Set_Nodes
procedure Set_Nodes (Item : in out Model; Values : Item_Array)
Nodes are a flat preorder sequence. The first depth must be zero and a depth may increase by at most one. Validation is atomic.
Parameters
- Item
- Values
Set_Viewport_Rows
procedure Set_Viewport_Rows (Item : in out Model; Rows : Natural)
Parameters
- Item
- Rows
Update
procedure Update
(Item : in out Model;
Event : Flyology_TUI.Events.Terminal_Event)
Parameters
- Item
- Event
Update
procedure Update
(Item : in out Model;
Event : Flyology_TUI.Mouse.Local_Event)
Parameters
- Item
- Event
Viewport_Rows
function Viewport_Rows (Item : Model) return Natural
Parameters
- Item
Return value
Visible_Id
function Visible_Id
(Item : Model; Position : Positive) return Id_Type
Parameters
- Item
- Position
Return value
Visible_Length
function Visible_Length (Item : Model) return Natural
Parameters
- Item
Return value
Visible_Row_Count
function Visible_Row_Count (Item : Model) return Natural
Parameters
- Item
Return value
Visible_Row_Region
function Visible_Row_Region
(Item : Model; Position : Positive) return Flyology_TUI.Geometry.Rectangle
Parameters
- Item
- Position
Return value
Width
function Width (Item : Model) return Natural
Parameters
- Item