Index

Package: Widgets.Scrollbars

Description

package Widgets.Scrollbars is

Classes

Scrollbar (abstract)

type Scrollbar is abstract new Widget with private;

Ancestors:

Immediate Children:

Primitive operations:

Calculate_Button
Construct (overriding Widgets.Construct)
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.Deactivate_Popup (Inherited)
Widgets.Delete (Inherited)
Widgets.Draw (Inherited)
Widgets.Draw_Content (Inherited)
Widgets.Find_Widget (Inherited)
Widgets.Get_Color (Inherited)
Widgets.Get_Min_Height (Inherited)
Widgets.Get_Min_Width (Inherited)
Widgets.Get_View (Inherited)
Widgets.Get_Window (Inherited)
Widgets.Handle_Ancestor_Hidden (Inherited)
Widgets.Handle_Ancestor_Unhidden (Inherited)
Widgets.Handle_Blur (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_Key_Press (Inherited)
Widgets.Handle_Key_Release (Inherited)
Widgets.Handle_Mouse_Held (Inherited)
Widgets.Handle_Mouse_Move (Inherited)
Widgets.Handle_Mouse_Press (Inherited)
Widgets.Handle_Mouse_Scroll (Inherited)
Widgets.Handle_Resize (Inherited)
Widgets.Pack (Inherited)
Widgets.Set_Color (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.To_String (Inherited)
Widgets.Translate_To_Content (Inherited)
Widgets.Translate_To_Window (Inherited)

References:

widgets-scrollbars.ads:4:10 (declaration)
widgets-scrollbars.adb:9:40 (reference)
widgets-scrollbars.adb:22:51 (reference)
widgets-scrollbars.adb:37:50 (reference)
widgets-scrollbars.ads:6:47 (reference)
widgets-scrollbars.ads:8:50 (reference)
widgets-scrollbars.ads:12:29 (reference)
widgets-scrollbars.ads:22:29 (reference)
widgets-scrollbars.ads:32:10 (full declaration)
widgets-scrollbars.ads:41:40 (reference)
widgets-scrollbars.ads:46:51 (reference)
widgets-scrollbars.ads:51:29 (reference)
widgets-scrollbars.ads:68:29 (reference)

H_Scrollbar

type H_Scrollbar is new Scrollbar with private;

Ancestors:

Primitive operations:

Calculate_Button (overriding Calculate_Button)
Construct (Inherited)
Draw_Content (overriding Widgets.Draw_Content)
Handle_Mouse_Held (overriding Widgets.Handle_Mouse_Held)
Handle_Mouse_Move (overriding Widgets.Handle_Mouse_Move)
Handle_Mouse_Press (overriding Widgets.Handle_Mouse_Press)
Handle_Mouse_Release (Inherited)
Objects.Construct (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
Widgets.Activate_Popup (Inherited)
Widgets.Adjust (Inherited)
Widgets.Bring_To_Front (Inherited)
Widgets.Deactivate_Popup (Inherited)
Widgets.Delete (Inherited)
Widgets.Draw (Inherited)
Widgets.Find_Widget (Inherited)
Widgets.Get_Color (Inherited)
Widgets.Get_Min_Height (Inherited)
Widgets.Get_Min_Width (Inherited)
Widgets.Get_View (Inherited)
Widgets.Get_Window (Inherited)
Widgets.Handle_Ancestor_Hidden (Inherited)
Widgets.Handle_Ancestor_Unhidden (Inherited)
Widgets.Handle_Blur (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_Key_Press (Inherited)
Widgets.Handle_Key_Release (Inherited)
Widgets.Handle_Mouse_Scroll (Inherited)
Widgets.Handle_Resize (Inherited)
Widgets.Pack (Inherited)
Widgets.Set_Color (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.To_String (Inherited)
Widgets.Translate_To_Content (Inherited)
Widgets.Translate_To_Window (Inherited)

References:

widgets-scrollbars.ads:12:10 (declaration)
widgets-scrollbars.adb:47:37 (reference)
widgets-scrollbars.adb:60:47 (reference)
widgets-scrollbars.adb:76:43 (reference)
widgets-scrollbars.adb:99:48 (reference)
widgets-scrollbars.adb:115:48 (reference)
widgets-scrollbars.adb:132:49 (reference)
widgets-scrollbars.ads:13:38 (reference)
widgets-scrollbars.ads:51:10 (full declaration)
widgets-scrollbars.ads:53:47 (reference)
widgets-scrollbars.ads:55:43 (reference)
widgets-scrollbars.ads:57:48 (reference)
widgets-scrollbars.ads:60:48 (reference)
widgets-scrollbars.ads:63:49 (reference)

V_Scrollbar

type V_Scrollbar is new Scrollbar with private;

Ancestors:

Primitive operations:

Calculate_Button (overriding Calculate_Button)
Construct (Inherited)
Draw_Content (overriding Widgets.Draw_Content)
Handle_Mouse_Held (overriding Widgets.Handle_Mouse_Held)
Handle_Mouse_Move (overriding Widgets.Handle_Mouse_Move)
Handle_Mouse_Press (overriding Widgets.Handle_Mouse_Press)
Handle_Mouse_Release (Inherited)
Objects.Construct (Inherited)
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
Widgets.Activate_Popup (Inherited)
Widgets.Adjust (Inherited)
Widgets.Bring_To_Front (Inherited)
Widgets.Deactivate_Popup (Inherited)
Widgets.Delete (Inherited)
Widgets.Draw (Inherited)
Widgets.Find_Widget (Inherited)
Widgets.Get_Color (Inherited)
Widgets.Get_Min_Height (Inherited)
Widgets.Get_Min_Width (Inherited)
Widgets.Get_View (Inherited)
Widgets.Get_Window (Inherited)
Widgets.Handle_Ancestor_Hidden (Inherited)
Widgets.Handle_Ancestor_Unhidden (Inherited)
Widgets.Handle_Blur (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_Key_Press (Inherited)
Widgets.Handle_Key_Release (Inherited)
Widgets.Handle_Mouse_Scroll (Inherited)
Widgets.Handle_Resize (Inherited)
Widgets.Pack (Inherited)
Widgets.Set_Color (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.To_String (Inherited)
Widgets.Translate_To_Content (Inherited)
Widgets.Translate_To_Window (Inherited)

References:

widgets-scrollbars.ads:22:10 (declaration)
widgets-scrollbars.adb:157:37 (reference)
widgets-scrollbars.adb:170:47 (reference)
widgets-scrollbars.adb:186:43 (reference)
widgets-scrollbars.adb:209:48 (reference)
widgets-scrollbars.adb:225:48 (reference)
widgets-scrollbars.adb:242:49 (reference)
widgets-scrollbars.ads:23:38 (reference)
widgets-scrollbars.ads:68:10 (full declaration)
widgets-scrollbars.ads:70:47 (reference)
widgets-scrollbars.ads:72:43 (reference)
widgets-scrollbars.ads:74:48 (reference)
widgets-scrollbars.ads:77:48 (reference)
widgets-scrollbars.ads:80:49 (reference)

Types

A_H_Scrollbar

type A_H_Scrollbar is access all H_Scrollbar'Class;

References:

widgets-scrollbars.ads:13:10 (declaration)
widgets-containers-scroll_panes.ads:32:24 (reference)
widgets-scrollbars.adb:46:57 (reference)
widgets-scrollbars.adb:47:16 (reference)
widgets-scrollbars.adb:85:13 (reference)
widgets-scrollbars.adb:123:13 (reference)
widgets-scrollbars.adb:138:13 (reference)
widgets-scrollbars.ads:16:57 (reference)

A_V_Scrollbar

type A_V_Scrollbar is access all V_Scrollbar'Class;

References:

widgets-scrollbars.ads:23:10 (declaration)
widgets-containers-scroll_panes.ads:33:24 (reference)
widgets-scrollbars.adb:156:57 (reference)
widgets-scrollbars.adb:157:16 (reference)
widgets-scrollbars.adb:195:13 (reference)
widgets-scrollbars.adb:233:13 (reference)
widgets-scrollbars.adb:248:13 (reference)
widgets-scrollbars.ads:26:57 (reference)

Subprograms & Entries

Calculate_Button (abstract)

procedure Calculate_Button
( this: access Scrollbar;
min, max: out Integer )
is abstract;

References:

widgets-scrollbars.ads:6:15 (declaration)

Set_Client

procedure Set_Client
( this: not null access Scrollbar'Class;
client: A_Widget );

References:

widgets-scrollbars.ads:8:15 (declaration)
widgets-containers-scroll_panes.adb:279:26 (reference)
widgets-containers-scroll_panes.adb:280:26 (reference)
widgets-scrollbars.adb:37:15 (body)
widgets-scrollbars.adb:41:9 (label)

Calls:

Widgets.Set_Dirty defined at widgets.ads:662:15

Create_H_Scrollbar

function Create_H_Scrollbar
( view: not null access Game_Views.Game_View'Class;
id: String )
return A_H_Scrollbar;

References:

widgets-scrollbars.ads:15:14 (declaration)
widgets-containers-scroll_panes.adb:141:25 (reference)
widgets-scrollbars.adb:45:14 (body)
widgets-scrollbars.adb:55:9 (label)
widgets-scrollbars.ads:18:27 (reference)

Called by:

Widgets.Containers.Scroll_Panes.Construct defined at widgets-containers-scroll_panes.ads:44:15

Calls:

Construct defined at widgets-scrollbars.ads:41:15
Widgets.Delete defined at widgets.ads:685:15

Create_V_Scrollbar

function Create_V_Scrollbar
( view: not null access Game_Views.Game_View'Class;
id: String )
return A_V_Scrollbar;

References:

widgets-scrollbars.ads:25:14 (declaration)
widgets-containers-scroll_panes.adb:142:25 (reference)
widgets-scrollbars.adb:155:14 (body)
widgets-scrollbars.adb:165:9 (label)
widgets-scrollbars.ads:28:27 (reference)

Called by:

Widgets.Containers.Scroll_Panes.Construct defined at widgets-containers-scroll_panes.ads:44:15

Calls:

Construct defined at widgets-scrollbars.ads:41:15
Widgets.Delete defined at widgets.ads:685:15