← All compilation units

Flyology_TUI.Components.Tabs

Description

"="

function "=" (Left, Right : Id_Type) return Boolean
Parameters
Left
Right
Return value

Activate

procedure Activate (Item : in out Model; Id : Id_Type)
Parameters
Item
Id

Active_Id

function Active_Id (Item : Model) return Id_Type
Parameters
Item
Return value

Appearance

type Appearance is record
   Normal   : Flyology_TUI.Styles.Style := Flyology_TUI.Styles.Default;
   Active   : Flyology_TUI.Styles.Style := Flyology_TUI.Styles.Default;
   Focused  : Flyology_TUI.Styles.Style := Flyology_TUI.Styles.Default;
   Mnemonic : Flyology_TUI.Styles.Style := Flyology_TUI.Styles.Default;
   Disabled : Flyology_TUI.Styles.Style := Flyology_TUI.Styles.Default;
end record;
Record fields
Normal
Active
Focused
Mnemonic
Disabled

Capacity

Capacity : Positive;

Create

function Create
  (Values  : Item_Array;
   Enabled : Boolean := True) return Model
Parameters
Values
Enabled
Return value

Frame

function Frame
  (Item : Presentation) return Flyology_TUI.Surfaces.Surface
Parameters
Item
Return value

From_Palette

function From_Palette
  (Palette : Flyology_TUI.Themes.Palette) return Appearance
Parameters
Palette
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

Handle

function Handle
  (Item   : in out Model;
   Event  : Flyology_TUI.Mouse.Local_Event;
   Layout : Presentation)
   return Flyology_TUI.Components.Interactions.Update_Result

Route mouse input against the exact clipped cells in Layout.

Parameters
Item
Event
Layout
Return value

Has_Tab

function Has_Tab
  (Item : Presentation; Id : Id_Type) return Boolean
Parameters
Item
Id
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

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;

Present

function Present
  (Item      : Model;
   Width     : Natural;
   Look      : Appearance;
   Chrome    : Flyology_TUI.Skins.Tab_Chrome;
   Has_Focus : Boolean := False) return Presentation
Parameters
Item
Width
Look
Chrome
Has_Focus
Return value

Present

function Present
  (Item      : Model;
   Width     : Natural;
   Look      : Appearance;
   Has_Focus : Boolean := False) return Presentation
Parameters
Item
Width
Look
Has_Focus
Return value

Present

function Present
  (Item      : Model;
   Width     : Natural;
   Skin      : Flyology_TUI.Skins.Skin;
   Has_Focus : Boolean := False) return Presentation
Parameters
Item
Width
Skin
Has_Focus
Return value

Present

function Present
  (Item      : Model;
   Width     : Natural;
   Theme     : Flyology_TUI.Themes.Theme;
   Has_Focus : Boolean := False) return Presentation
Parameters
Item
Width
Theme
Has_Focus
Return value

Presentation

type Presentation is private;

Presentation is an immutable clipped frame and its exact visible tab hit regions. Present keeps the complete active tab visible whenever it fits Width; when it does not fit, its leading Width cells remain visible. A zero width has no hit regions.

Render

function Render
  (Item      : Model;
   Look      : Appearance;
   Chrome    : Flyology_TUI.Skins.Tab_Chrome;
   Has_Focus : Boolean := False)
   return Flyology_TUI.Surfaces.Surface
Parameters
Item
Look
Chrome
Has_Focus
Return value

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;
   Skin      : Flyology_TUI.Skins.Skin;
   Has_Focus : Boolean := False)
   return Flyology_TUI.Surfaces.Surface
Parameters
Item
Skin
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

Set_Enabled

procedure Set_Enabled (Item : in out Model; Enabled : Boolean)
Parameters
Item
Enabled

Set_Items

procedure Set_Items (Item : in out Model; Values : Item_Array)
Parameters
Item
Values

Tab_Region

function Tab_Region
  (Item : Presentation;
   Id   : Id_Type) return Flyology_TUI.Geometry.Rectangle
Parameters
Item
Id
Return value

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

Update

procedure Update
  (Item   : in out Model;
   Event  : Flyology_TUI.Mouse.Local_Event;
   Layout : Presentation)
Parameters
Item
Event
Layout

Width

function Width (Item : Model) return Natural
Parameters
Item
Return value