← All compilation units

Flyology_TUI.Components.Check_Boxes

Description

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;
   Pressed  : Flyology_TUI.Styles.Style := Flyology_TUI.Styles.Default;
   Disabled : Flyology_TUI.Styles.Style := Flyology_TUI.Styles.Default;
end record;
Record fields
Normal
Selected
Focused
Pressed
Disabled

Check_State

type Check_State is (Unchecked, Checked, Mixed);
Enumeration literals
Unchecked
Checked
Mixed

Create

function Create
  (Label   : Wide_Wide_String;
   State   : Check_State := Unchecked;
   Enabled : Boolean := True) return Model
Parameters
Label
State
Enabled
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

Is_Enabled

function Is_Enabled (Item : Model) return Boolean
Parameters
Item
Return value

Model

type Model is tagged private;

Render

function Render
  (Item      : Model;
   Look      : Appearance;
   Chrome    : Flyology_TUI.Skins.Choice_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_State

procedure Set_State (Item : in out Model; State : Check_State)
Parameters
Item
State

State

function State (Item : Model) return Check_State
Parameters
Item
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

Width

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