Index

Package: Widgets.Buttons.Pushes

Description

package Widgets.Buttons.Pushes is

Classes

Push_Button

type Push_Button is new Button with private;

Ancestors:

Primitive operations:

Handle_Blur (overriding Widgets.Handle_Blur)
Handle_Key_Press (overriding Widgets.Handle_Key_Press)
Handle_Key_Release (overriding Widgets.Handle_Key_Release)
Handle_Mouse_Held (overriding Widgets.Handle_Mouse_Held)
Handle_Mouse_Press (overriding Widgets.Handle_Mouse_Press)
Handle_Mouse_Release (overriding Widgets.Handle_Mouse_Release)
Objects.Construct (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
Widgets.Activate_Popup (Inherited)
Widgets.Adjust (Inherited)
Widgets.Bring_To_Front (Inherited)
Widgets.Buttons.Add_Listener (Inherited)
Widgets.Buttons.Add_Listener (Inherited)
Widgets.Buttons.Construct (Inherited)
Widgets.Buttons.Dispatch_Action (Inherited)
Widgets.Buttons.Draw_Content (Inherited)
Widgets.Buttons.Get_Min_Height (Inherited)
Widgets.Buttons.Get_Min_Width (Inherited)
Widgets.Buttons.Remove_Listener (Inherited)
Widgets.Buttons.Set_Color (Inherited)
Widgets.Buttons.Set_Icon (Inherited)
Widgets.Buttons.Set_State (Inherited)
Widgets.Buttons.Set_Text (Inherited)
Widgets.Buttons.To_String (Inherited)
Widgets.Buttons.Toggle_State (Inherited)
Widgets.Construct (Inherited)
Widgets.Deactivate_Popup (Inherited)
Widgets.Delete (Inherited)
Widgets.Draw (Inherited)
Widgets.Find_Widget (Inherited)
Widgets.Get_Color (Inherited)
Widgets.Get_View (Inherited)
Widgets.Get_Window (Inherited)
Widgets.Handle_Ancestor_Hidden (Inherited)
Widgets.Handle_Ancestor_Unhidden (Inherited)
Widgets.Handle_Click (Inherited)
Widgets.Handle_Descendant_Hidden (Inherited)
Widgets.Handle_Descendant_Unhidden (Inherited)
Widgets.Handle_Enter (Inherited)
Widgets.Handle_Exit (Inherited)
Widgets.Handle_Focus (Inherited)
Widgets.Handle_Key_Held (Inherited)
Widgets.Handle_Mouse_Move (Inherited)
Widgets.Handle_Mouse_Scroll (Inherited)
Widgets.Handle_Resize (Inherited)
Widgets.Pack (Inherited)
Widgets.Set_Dirty (Inherited)
Widgets.Set_Enabled (Inherited)
Widgets.Set_Focused (Inherited)
Widgets.Set_Parent (Inherited)
Widgets.Set_Visible (Inherited)
Widgets.Set_Zoom (Inherited)
Widgets.Translate_To_Content (Inherited)
Widgets.Translate_To_Window (Inherited)

References:

widgets-buttons-pushes.ads:6:10 (declaration)
widgets-buttons-pushes.adb:11:37 (reference)
widgets-buttons-pushes.adb:24:42 (reference)
widgets-buttons-pushes.adb:33:46 (reference)
widgets-buttons-pushes.adb:49:48 (reference)
widgets-buttons-pushes.adb:66:48 (reference)
widgets-buttons-pushes.adb:77:49 (reference)
widgets-buttons-pushes.adb:88:51 (reference)
widgets-buttons-pushes.ads:7:38 (reference)
widgets-buttons-pushes.ads:18:10 (full declaration)
widgets-buttons-pushes.ads:20:42 (reference)
widgets-buttons-pushes.ads:22:46 (reference)
widgets-buttons-pushes.ads:25:48 (reference)
widgets-buttons-pushes.ads:28:48 (reference)
widgets-buttons-pushes.ads:31:49 (reference)
widgets-buttons-pushes.ads:34:51 (reference)

Types

A_Push_Button

type A_Push_Button is access all Push_Button'Class;

References:

widgets-buttons-pushes.ads:7:10 (declaration)
widgets-buttons-pushes.adb:11:16 (reference)

Subprograms & Entries

Create_Push_Button

function Create_Push_Button
( view: not null access Game_Views.Game_View'Class;
id: String;
text: String := "";
icon: String := "" )
return A_Button;

References:

widgets-buttons-pushes.ads:9:14 (declaration)
widgets-buttons-pushes.adb:7:14 (body)
widgets-buttons-pushes.adb:19:9 (label)
widgets-buttons-pushes.ads:14:27 (reference)
widgets-containers-scroll_panes.adb:121:20 (reference)
widgets-containers-scroll_panes.adb:126:22 (reference)
widgets-containers-scroll_panes.adb:131:22 (reference)
widgets-containers-scroll_panes.adb:136:23 (reference)
game_views-keen.adb:483:27 (reference)
game_views-keen.adb:493:27 (reference)
game_views-keen.adb:504:27 (reference)
game_views-keen.adb:517:19 (reference)

Called by:

Game_Views.Keen.Populate_View defined at game_views-keen.ads:97:15
Game_Views.Keen.Populate_View defined at game_views-keen.ads:97:15
Game_Views.Keen.Populate_View defined at game_views-keen.ads:97:15
Game_Views.Keen.Populate_View defined at game_views-keen.ads:97:15
Widgets.Containers.Scroll_Panes.Construct defined at widgets-containers-scroll_panes.ads:44:15
Widgets.Containers.Scroll_Panes.Construct defined at widgets-containers-scroll_panes.ads:44:15
Widgets.Containers.Scroll_Panes.Construct defined at widgets-containers-scroll_panes.ads:44:15
Widgets.Containers.Scroll_Panes.Construct defined at widgets-containers-scroll_panes.ads:44:15

Calls:

Widgets.Buttons.Construct defined at widgets-buttons.ads:105:15
Widgets.Delete defined at widgets.ads:685:15