Index

Package: Widgets.Scrollbars

Description

package Widgets.Scrollbars is

Classes

Scrollbar (abstract)

type Scrollbar is abstract new Widget and Resize_Listener with private;

Ancestors:

Immediate Children:

Primitive operations:

Calculate_Button
Construct (overriding Widgets.Construct)
Delete (overriding Widgets.Delete)
Handle_Action (overriding Widgets.Handle_Action)
Handle_Mouse_Release (overriding Widgets.Handle_Mouse_Release)
Objects.Construct (Inherited)
Widgets.Activate_Popup (Inherited)
Widgets.Bring_To_Front (Inherited)
Widgets.Deactivate_Popup (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:10:40 (reference)
widgets-scrollbars.adb:23:37 (reference)
widgets-scrollbars.adb:35:44 (reference)
widgets-scrollbars.adb:44:51 (reference)
widgets-scrollbars.adb:59: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:37 (reference)
widgets-scrollbars.ads:48:46 (reference)
widgets-scrollbars.ads:51:51 (reference)
widgets-scrollbars.ads:56:29 (reference)
widgets-scrollbars.ads:73:29 (reference)

H_Scrollbar

type H_Scrollbar is new Scrollbar with private;

Ancestors:

Primitive operations:

Calculate_Button (overriding Calculate_Button)
Construct (Inherited)
Delete (Inherited)
Draw_Content (overriding Widgets.Draw_Content)
Handle_Action (Inherited)
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)
Widgets.Activate_Popup (Inherited)
Widgets.Bring_To_Front (Inherited)
Widgets.Deactivate_Popup (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:75:37 (reference)
widgets-scrollbars.adb:88:47 (reference)
widgets-scrollbars.adb:104:43 (reference)
widgets-scrollbars.adb:127:48 (reference)
widgets-scrollbars.adb:143:48 (reference)
widgets-scrollbars.adb:160:49 (reference)
widgets-scrollbars.ads:13:38 (reference)
widgets-scrollbars.ads:56:10 (full declaration)
widgets-scrollbars.ads:58:47 (reference)
widgets-scrollbars.ads:60:43 (reference)
widgets-scrollbars.ads:62:48 (reference)
widgets-scrollbars.ads:65:48 (reference)
widgets-scrollbars.ads:68:49 (reference)

V_Scrollbar

type V_Scrollbar is new Scrollbar with private;

Ancestors:

Primitive operations:

Calculate_Button (overriding Calculate_Button)
Construct (Inherited)
Delete (Inherited)
Draw_Content (overriding Widgets.Draw_Content)
Handle_Action (Inherited)
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)
Widgets.Activate_Popup (Inherited)
Widgets.Bring_To_Front (Inherited)
Widgets.Deactivate_Popup (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:185:37 (reference)
widgets-scrollbars.adb:198:47 (reference)
widgets-scrollbars.adb:212:43 (reference)
widgets-scrollbars.adb:235:48 (reference)
widgets-scrollbars.adb:251:48 (reference)
widgets-scrollbars.adb:268:49 (reference)
widgets-scrollbars.ads:23:38 (reference)
widgets-scrollbars.ads:73:10 (full declaration)
widgets-scrollbars.ads:75:47 (reference)
widgets-scrollbars.ads:77:43 (reference)
widgets-scrollbars.ads:79:48 (reference)
widgets-scrollbars.ads:82:48 (reference)
widgets-scrollbars.ads:85: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:34:24 (reference)
widgets-scrollbars.adb:74:57 (reference)
widgets-scrollbars.adb:75:16 (reference)
widgets-scrollbars.adb:113:13 (reference)
widgets-scrollbars.adb:151:13 (reference)
widgets-scrollbars.adb:166: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:35:24 (reference)
widgets-scrollbars.adb:184:57 (reference)
widgets-scrollbars.adb:185:16 (reference)
widgets-scrollbars.adb:221:13 (reference)
widgets-scrollbars.adb:259:13 (reference)
widgets-scrollbars.adb:274: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:309:26 (reference)
widgets-containers-scroll_panes.adb:310:26 (reference)
widgets-scrollbars.adb:59:15 (body)
widgets-scrollbars.adb:69:9 (label)

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:73:14 (body)
widgets-scrollbars.adb:83:9 (label)
widgets-scrollbars.ads:18:27 (reference)

Called by:

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

Calls:

Construct defined at widgets-scrollbars.ads:41:15
Widgets.Delete defined at widgets.ads:726: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:183:14 (body)
widgets-scrollbars.adb:193:9 (label)
widgets-scrollbars.ads:28:27 (reference)

Called by:

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

Calls:

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