Index

Package: Pushes

Description

package Widgets.Buttons.Pushes is

Classes

Push_Button

type Push_Button is new Button with private;

Ancestors:

Immediate Children:

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)
Toggle_State (overriding Widgets.Buttons.Toggle_State)
Widgets.Activate_Popup (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.Construct (Inherited)
Widgets.Delete (Inherited)
Widgets.Draw (Inherited)
Widgets.Find_Widget (Inherited)
Widgets.Get_Color (Inherited)
Widgets.Get_Process_Name (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_Disabled (Inherited)
Widgets.Handle_Enabled (Inherited)
Widgets.Handle_Enter (Inherited)
Widgets.Handle_Exit (Inherited)
Widgets.Handle_Focus (Inherited)
Widgets.Handle_Hidden (Inherited)
Widgets.Handle_Key_Held (Inherited)
Widgets.Handle_Mouse_Move (Inherited)
Widgets.Handle_Mouse_Scroll (Inherited)
Widgets.Handle_Resize (Inherited)
Widgets.Handle_Unhidden (Inherited)
Widgets.Pack (Inherited)
Widgets.Set_Dirty (Inherited)
Widgets.Set_Parent (Inherited)
Widgets.Set_Zoom (Inherited)
Widgets.Translate_To_Content (Inherited)
Widgets.Translate_To_Window (Inherited)
A Push_Button is a variation of a button that is on when it's being pressed with the mouse or keyboard, and immediately returns to off when the mouse or keyboard is released. It does not stay on until clicked again.

Types

A_Push_Button

type A_Push_Button is access all Push_Button'Class;

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;
Creates a new push button within 'view' with id 'id'. 'text' is the button's text and 'icon' is the filename of the icon to use. Both are optional but at least one should be specified or the button will be blank.