Index

Package: Themes

Description

package Themes is

Classes

Theme (abstract)

type Theme is abstract new Object with private;

Ancestors:

Immediate Children:

Themes.Ked.Ked_Theme

Primitive operations:

Adjust (overriding Objects.Adjust)
Border_Width
Construct (overriding Objects.Construct)
Delete (overriding Objects.Delete)
Label_Height
Objects.Object_Read (Inherited)
Objects.Object_Write (Inherited)
Objects.To_String (Inherited)

References:

themes.ads:30:10 (declaration)
themes.adb:29:37 (reference)
themes.adb:39:40 (reference)
themes.adb:51:42 (reference)
themes.adb:60:35 (reference)
themes.adb:68:37 (reference)
themes.adb:86:44 (reference)
themes.adb:125:42 (reference)
themes.adb:143:45 (reference)
themes.adb:202:47 (reference)
themes.adb:228:57 (reference)
themes.adb:235:58 (reference)
themes.adb:248:57 (reference)
themes.adb:263:46 (reference)
themes.adb:281:45 (reference)
themes.adb:300:48 (reference)
themes.adb:341:60 (reference)
themes.ads:31:32 (reference)
themes.ads:36:42 (reference)
themes.ads:38:35 (reference)
themes.ads:40:44 (reference)
themes.ads:47:41 (reference)
themes.ads:61:45 (reference)
themes.ads:75:40 (reference)
themes.ads:80:47 (reference)
themes.ads:87:58 (reference)
themes.ads:94:36 (reference)
themes.ads:97:57 (reference)
themes.ads:101:57 (reference)
themes.ads:110:46 (reference)
themes.ads:120:45 (reference)
themes.ads:128:60 (reference)
themes.ads:147:10 (full declaration)
themes.ads:156:37 (reference)
themes.ads:158:40 (reference)
themes.ads:160:37 (reference)
themes.ads:166:48 (reference)
themes-ked.adb:28:9 (reference)
themes-ked.adb:43:9 (reference)
themes-ked.ads:12:27 (reference)

Types

Align_Type

type Align_Type is ( Align_Left, Align_Center, Align_Right );

References:

themes.ads:13:10 (declaration)
themes.adb:152:38 (reference)
themes.ads:70:38 (reference)
widgets-buttons.adb:187:71 (reference)
widgets-buttons.ads:48:71 (reference)
widgets-buttons.ads:101:28 (reference)
widgets-labels.adb:116:70 (reference)
widgets-labels.ads:16:70 (reference)
widgets-labels.ads:34:24 (reference)

Border_Type

type Border_Type is ( Border_None, Border_Raised, Border_Sunk, Border_Line );

References:

themes.ads:15:10 (declaration)
themes.adb:88:37 (reference)
themes.adb:130:35 (reference)
themes.ads:42:37 (reference)
themes.ads:52:34 (reference)
widgets-buttons-checkboxes.adb:37:21 (reference)
widgets-buttons.adb:75:21 (reference)
widgets-containers-panels.adb:12:49 (reference)
widgets-containers-panels.adb:159:57 (reference)
widgets-containers-panels.ads:16:57 (reference)
widgets-menu_items.adb:92:19 (reference)
widgets-menubars.adb:103:22 (reference)
widgets-scrollbars.adb:78:20 (reference)
widgets-scrollbars.adb:188:20 (reference)
widgets.adb:381:71 (reference)
widgets.adb:1063:36 (reference)
widgets.ads:123:71 (reference)
widgets.ads:199:36 (reference)
widgets.ads:445:28 (reference)

Color_Purpose

type Color_Purpose is ( Background,
                            Foreground,
                            Selected,
                            Selected_Text,
                            Text );

References:

themes.ads:17:10 (declaration)
themes.adb:60:52 (reference)
themes.ads:23:33 (reference)
themes.ads:38:52 (reference)
widgets-buttons.adb:199:36 (reference)
widgets-buttons.ads:122:36 (reference)
widgets-containers-panels.adb:181:36 (reference)
widgets-containers-panels.ads:19:36 (reference)
widgets-labels.adb:128:36 (reference)
widgets-labels.ads:19:36 (reference)
widgets.adb:388:57 (reference)
widgets.adb:1075:36 (reference)
widgets.ads:127:57 (reference)
widgets.ads:204:36 (reference)

Colors_Array

type Colors_Array is array (Color_Purpose) of Color_Type;

References:

themes.ads:23:10 (declaration)
themes.ads:149:25 (reference)
themes.ads:149:41 (reference)
widgets.ads:444:28 (reference)
widgets.ads:444:44 (reference)

A_Theme

type A_Theme is access all Theme'Class;

References:

themes.ads:31:10 (declaration)
applications.adb:223:75 (reference)
applications.ads:47:75 (reference)
applications.ads:96:27 (reference)
themes.adb:17:34 (reference)
themes.adb:351:37 (reference)
themes.ads:33:34 (reference)
themes.ads:132:37 (reference)
themes.ads:174:46 (reference)
widgets-buttons-checkboxes.adb:29:30 (reference)
widgets-buttons-checkboxes.adb:118:17 (reference)
widgets-buttons-checkboxes.adb:137:17 (reference)
widgets-buttons.adb:73:30 (reference)
widgets-buttons.adb:124:17 (reference)
widgets-buttons.adb:145:17 (reference)
widgets-containers-panels.adb:16:27 (reference)
widgets-containers-panels.adb:76:26 (reference)
widgets-containers-panels.adb:104:18 (reference)
widgets-containers-panels.adb:128:17 (reference)
widgets-containers-scroll_panes.adb:153:27 (reference)
widgets-input_boxes.adb:78:26 (reference)
widgets-input_boxes.adb:195:26 (reference)
widgets-input_boxes.adb:377:26 (reference)
widgets-labels.adb:42:26 (reference)
widgets-labels.adb:69:17 (reference)
widgets-labels.adb:90:17 (reference)
widgets-menu_items.adb:87:28 (reference)
widgets-menubars.adb:94:30 (reference)
widgets-scrollbars.adb:77:29 (reference)
widgets-scrollbars.adb:187:29 (reference)
widgets.adb:166:26 (reference)
game_views-ked-actions.adb:66:26 (reference)
game_views-ked-toolbar-layers_menu.adb:104:31 (reference)
game_views-ked-toolbar.adb:302:26 (reference)
themes-ked.adb:12:34 (reference)
themes-ked.adb:13:16 (reference)
widgets-containers-panels-dialogs-entity_attributes.adb:110:27 (reference)

Constants & Global variables

DEFAULT_FONT_NAME (string)

DEFAULT_FONT_NAME : constant String := "standard";

References:

themes.ads:25:5 (declaration)
themes.adb:45:43 (reference)
widgets.ads:453:69 (reference)

DEFAULT_FONT_SIZE (positive)

DEFAULT_FONT_SIZE : constant Positive := 14;

References:

themes.ads:26:5 (declaration)
themes.adb:45:62 (reference)
widgets.ads:454:40 (reference)

Subprograms & Entries

Create_Theme

function Create_Theme return A_Theme;

References:

themes.ads:33:14 (declaration)
applications.adb:226:27 (reference)
themes.adb:17:14 (body)
themes.adb:24:9 (label)
themes.ads:34:27 (reference)

Border_Width

function Border_Width
( this: access Theme )
return Natural;

References:

themes.ads:36:14 (declaration)
themes.adb:51:14 (body)
themes.adb:55:9 (label)
widgets-buttons-checkboxes.adb:50:32 (dispatching call)
widgets-buttons-checkboxes.adb:53:53 (dispatching call)
widgets-buttons-checkboxes.adb:105:48 (dispatching call)
widgets-buttons-checkboxes.adb:106:56 (dispatching call)
widgets-buttons-checkboxes.adb:124:26 (dispatching call)
widgets-buttons-checkboxes.adb:143:26 (dispatching call)
widgets-buttons.adb:78:47 (dispatching call)
widgets-buttons.adb:134:30 (dispatching call)
widgets-buttons.adb:155:30 (dispatching call)
widgets-containers-panels-popups.adb:62:73 (dispatching call)
widgets-containers-panels-popups.adb:85:54 (dispatching call)
widgets-containers-panels.adb:17:44 (dispatching call)
widgets-containers-panels.adb:79:34 (dispatching call)
widgets-containers-panels.adb:112:42 (dispatching call)
widgets-containers-panels.adb:136:40 (dispatching call)
widgets-input_boxes.adb:79:43 (dispatching call)
widgets-input_boxes.adb:196:43 (dispatching call)
widgets-input_boxes.adb:378:43 (dispatching call)
widgets-labels.adb:44:43 (dispatching call)
widgets-labels.adb:77:30 (dispatching call)
widgets-labels.adb:98:30 (dispatching call)
widgets-menubars.adb:124:40 (dispatching call)
widgets-containers-panels-dialogs-entity_attributes.adb:125:39 (dispatching call)

Called by:

Widgets.Buttons.Checkboxes.Draw_Content defined at widgets-buttons-checkboxes.ads:27:15
Widgets.Buttons.Checkboxes.Draw_Content defined at widgets-buttons-checkboxes.ads:27:15
Widgets.Buttons.Checkboxes.Draw_Content defined at widgets-buttons-checkboxes.ads:27:15
Widgets.Buttons.Checkboxes.Draw_Content defined at widgets-buttons-checkboxes.ads:27:15
Widgets.Buttons.Checkboxes.Get_Min_Height defined at widgets-buttons-checkboxes.ads:29:14
Widgets.Buttons.Checkboxes.Get_Min_Width defined at widgets-buttons-checkboxes.ads:31:14
Widgets.Buttons.Draw_Content defined at widgets-buttons.ads:114:15
Widgets.Buttons.Get_Min_Height defined at widgets-buttons.ads:116:14
Widgets.Buttons.Get_Min_Width defined at widgets-buttons.ads:118:14
Widgets.Containers.Panels.Dialogs.Entity_Attributes.Construct defined at widgets-containers-panels-dialogs-entity_attributes.ads:30:15
Widgets.Containers.Panels.Draw_Content defined at widgets-containers-panels.ads:45:15
Widgets.Containers.Panels.Get_Min_Height defined at widgets-containers-panels.ads:49:14
Widgets.Containers.Panels.Get_Min_Width defined at widgets-containers-panels.ads:53:14
Widgets.Containers.Panels.Make_Child_Layout defined at widgets-containers-panels.adb:10:15
Widgets.Containers.Panels.Popups.Get_Min_Height defined at widgets-containers-panels-popups.ads:39:14
Widgets.Containers.Panels.Popups.Get_Min_Width defined at widgets-containers-panels-popups.ads:41:14
Widgets.Input_Boxes.Adjust_Visible_Text defined at widgets-input_boxes.ads:115:15
Widgets.Input_Boxes.Draw_Content defined at widgets-input_boxes.ads:130:15
Widgets.Input_Boxes.Handle_Mouse_Press defined at widgets-input_boxes.ads:141:15
Widgets.Labels.Draw_Content defined at widgets-labels.ads:45:15
Widgets.Labels.Get_Min_Height defined at widgets-labels.ads:47:14
Widgets.Labels.Get_Min_Width defined at widgets-labels.ads:49:14
Widgets.Menubars.Draw_Content defined at widgets-menubars.ads:59:15

Color

function Color
( this: access Theme;
purpose: Color_Purpose )
return Color_Type;

References:

themes.ads:38:14 (declaration)
themes.adb:60:14 (body)
themes.adb:63:9 (label)
widgets.adb:174:37 (dispatching call)
game_views-ked-toolbar-layers_menu.adb:127:54 (dispatching call)
game_views-ked-toolbar-layers_menu.adb:157:50 (dispatching call)
game_views-ked-toolbar-layers_menu.adb:186:68 (dispatching call)
game_views-ked-toolbar-layers_menu.adb:191:68 (dispatching call)
game_views-ked-toolbar-layers_menu.adb:206:72 (dispatching call)
game_views-ked-toolbar-layers_menu.adb:209:72 (dispatching call)
game_views-ked-toolbar.adb:72:65 (dispatching call)
game_views-ked-toolbar.adb:306:74 (dispatching call)
game_views-ked-toolbar.adb:308:74 (dispatching call)
game_views-ked-toolbar.adb:311:72 (dispatching call)
game_views-ked-toolbar.adb:313:72 (dispatching call)
game_views-ked-toolbar.adb:316:73 (dispatching call)
game_views-ked-toolbar.adb:318:73 (dispatching call)
game_views-ked-toolbar.adb:321:71 (dispatching call)
game_views-ked-toolbar.adb:323:71 (dispatching call)
game_views-ked-toolbar.adb:326:72 (dispatching call)
game_views-ked-toolbar.adb:328:72 (dispatching call)
game_views-ked-toolbar.adb:331:74 (dispatching call)
game_views-ked-toolbar.adb:333:74 (dispatching call)

Called by:

Game_Views.Ked.Toolbar.Handle_Tool_Changed defined at game_views-ked-toolbar.ads:13:15
Game_Views.Ked.Toolbar.Handle_Tool_Changed defined at game_views-ked-toolbar.ads:13:15
Game_Views.Ked.Toolbar.Handle_Tool_Changed defined at game_views-ked-toolbar.ads:13:15
Game_Views.Ked.Toolbar.Handle_Tool_Changed defined at game_views-ked-toolbar.ads:13:15
Game_Views.Ked.Toolbar.Handle_Tool_Changed defined at game_views-ked-toolbar.ads:13:15
Game_Views.Ked.Toolbar.Handle_Tool_Changed defined at game_views-ked-toolbar.ads:13:15
Game_Views.Ked.Toolbar.Handle_Tool_Changed defined at game_views-ked-toolbar.ads:13:15
Game_Views.Ked.Toolbar.Handle_Tool_Changed defined at game_views-ked-toolbar.ads:13:15
Game_Views.Ked.Toolbar.Handle_Tool_Changed defined at game_views-ked-toolbar.ads:13:15
Game_Views.Ked.Toolbar.Handle_Tool_Changed defined at game_views-ked-toolbar.ads:13:15
Game_Views.Ked.Toolbar.Handle_Tool_Changed defined at game_views-ked-toolbar.ads:13:15
Game_Views.Ked.Toolbar.Handle_Tool_Changed defined at game_views-ked-toolbar.ads:13:15
Game_Views.Ked.Toolbar.Layers_Menu.Set_Active_Layer defined at game_views-ked-toolbar-layers_menu.ads:16:15
Game_Views.Ked.Toolbar.Layers_Menu.Set_Active_Layer defined at game_views-ked-toolbar-layers_menu.ads:16:15
Game_Views.Ked.Toolbar.Layers_Menu.Show_Clipping defined at game_views-ked-toolbar-layers_menu.ads:18:15
Game_Views.Ked.Toolbar.Layers_Menu.Show_Clipping defined at game_views-ked-toolbar-layers_menu.ads:18:15
Game_Views.Ked.Toolbar.Layers_Menu.Update_Menu defined at game_views-ked-toolbar-layers_menu.ads:11:15
Game_Views.Ked.Toolbar.Layers_Menu.Update_Menu defined at game_views-ked-toolbar-layers_menu.ads:11:15
Game_Views.Ked.Toolbar.Make_Toolbar defined at game_views-ked-toolbar.ads:7:15
Widgets.Construct defined at widgets.ads:499:15

Draw_Border

procedure Draw_Border
( this: access Theme;
dc: Drawing_Context;
border: Border_Type;
x1, y1, x2, y2: Integer;
color: Color_Type );

References:

themes.ads:40:15 (declaration)
themes.adb:86:15 (body)
themes.adb:120:9 (label)
themes.adb:136:18 (reference)
widgets-containers-pulldown_menus.adb:58:35 (dispatching call)
widgets-containers-scroll_panes.adb:165:15 (dispatching call)
widgets-input_boxes.adb:205:19 (dispatching call)
widgets-labels.adb:59:19 (dispatching call)
widgets-menubars.adb:115:23 (dispatching call)
widgets-menubars.adb:131:15 (dispatching call)

Called by:

Draw_Box defined at themes.ads:47:15
Widgets.Containers.Pulldown_Menus.Draw_Content defined at widgets-containers-pulldown_menus.ads:36:15
Widgets.Containers.Scroll_Panes.Draw_Content defined at widgets-containers-scroll_panes.ads:49:15
Widgets.Input_Boxes.Draw_Content defined at widgets-input_boxes.ads:130:15
Widgets.Labels.Draw_Content defined at widgets-labels.ads:45:15
Widgets.Menubars.Draw_Content defined at widgets-menubars.ads:59:15
Widgets.Menubars.Draw_Content.Draw_Menu defined at widgets-menubars.adb:101:19

Draw_Box

procedure Draw_Box
( this: access Theme;
dc: Drawing_Context;
x1, y1, x2, y2: Integer;
color: Color_Type;
border: Border_Type := Border_None );

References:

themes.ads:47:15 (declaration)
themes.adb:125:15 (body)
themes.adb:138:9 (label)
widgets-buttons-checkboxes.adb:79:15 (dispatching call)
widgets-buttons.adb:100:19 (dispatching call)
widgets-containers-panels.adb:81:15 (dispatching call)
widgets-containers-panels.adb:88:19 (dispatching call)
widgets-input_boxes.adb:199:15 (dispatching call)
widgets-menu_items.adb:105:15 (dispatching call)
widgets-scrollbars.adb:92:19 (dispatching call)
widgets-scrollbars.adb:202:19 (dispatching call)

Called by:

Widgets.Buttons.Checkboxes.Draw_Content defined at widgets-buttons-checkboxes.ads:27:15
Widgets.Buttons.Draw_Content defined at widgets-buttons.ads:114:15
Widgets.Containers.Panels.Draw_Content defined at widgets-containers-panels.ads:45:15
Widgets.Containers.Panels.Draw_Content defined at widgets-containers-panels.ads:45:15
Widgets.Input_Boxes.Draw_Content defined at widgets-input_boxes.ads:130:15
Widgets.Menu_Items.Draw_Content defined at widgets-menu_items.ads:103:15
Widgets.Scrollbars.Draw_Content defined at widgets-scrollbars.ads:55:15
Widgets.Scrollbars.Draw_Content defined at widgets-scrollbars.ads:72:15

Draw_Label

procedure Draw_Label
( this: access Theme;
dc: Drawing_Context;
x1, y1, x2, y2: Integer;
icon: A_Bitmap;
text: String;
fontName: String;
fontSize: Positive;
color: Color_Type;
align: Align_Type;
smooth: Boolean := False );

References:

themes.ads:61:15 (declaration)
themes.adb:143:15 (body)
themes.adb:198:9 (label)
widgets-buttons-checkboxes.adb:105:19 (dispatching call)
widgets-buttons.adb:111:15 (dispatching call)
widgets-containers-panels.adb:90:19 (dispatching call)
widgets-labels.adb:53:15 (dispatching call)
widgets-menu_items.adb:106:15 (dispatching call)

Called by:

Widgets.Buttons.Checkboxes.Draw_Content defined at widgets-buttons-checkboxes.ads:27:15
Widgets.Buttons.Draw_Content defined at widgets-buttons.ads:114:15
Widgets.Containers.Panels.Draw_Content defined at widgets-containers-panels.ads:45:15
Widgets.Labels.Draw_Content defined at widgets-labels.ads:45:15
Widgets.Menu_Items.Draw_Content defined at widgets-menu_items.ads:103:15
Draws a label composed of the given icon, some horizontal spacing, and the given text. If the icon or the text is ommitted, the spacing that would separate the two will also be ommitted. The 'smooth' argument enables text anti-aliasing. The 'align' argument determines the alignment for the icon and text as a group within the width of the area given for the label by x1 and x2. The label will be centered vertically between y1 and y2.

Get_Bitmap (abstract)

function Get_Bitmap
( this: access Theme;
id: Natural )
return A_Bitmap is abstract;

References:

themes.ads:75:14 (declaration)
widgets-buttons-checkboxes.adb:30:48 (dispatching call)
widgets-buttons-checkboxes.adb:91:34 (dispatching call)
widgets-buttons-checkboxes.adb:126:59 (dispatching call)
widgets-buttons-checkboxes.adb:144:45 (dispatching call)
widgets-buttons.adb:74:48 (dispatching call)
widgets-buttons.adb:132:27 (dispatching call)
widgets-buttons.adb:153:27 (dispatching call)
widgets-containers-panels.adb:92:37 (dispatching call)
widgets-containers-panels.adb:116:53 (dispatching call)
widgets-containers-panels.adb:140:51 (dispatching call)
widgets-labels.adb:43:44 (dispatching call)
widgets-labels.adb:79:52 (dispatching call)
widgets-labels.adb:100:51 (dispatching call)
widgets-containers-panels-dialogs-entity_attributes.adb:127:91 (dispatching call)

Called by:

Widgets.Buttons.Checkboxes.Draw_Content defined at widgets-buttons-checkboxes.ads:27:15
Widgets.Buttons.Checkboxes.Draw_Content defined at widgets-buttons-checkboxes.ads:27:15
Widgets.Buttons.Checkboxes.Get_Min_Height defined at widgets-buttons-checkboxes.ads:29:14
Widgets.Buttons.Checkboxes.Get_Min_Width defined at widgets-buttons-checkboxes.ads:31:14
Widgets.Buttons.Draw_Content defined at widgets-buttons.ads:114:15
Widgets.Buttons.Get_Min_Height defined at widgets-buttons.ads:116:14
Widgets.Buttons.Get_Min_Width defined at widgets-buttons.ads:118:14
Widgets.Containers.Panels.Dialogs.Entity_Attributes.Construct defined at widgets-containers-panels-dialogs-entity_attributes.ads:30:15
Widgets.Containers.Panels.Draw_Content defined at widgets-containers-panels.ads:45:15
Widgets.Containers.Panels.Get_Min_Height defined at widgets-containers-panels.ads:49:14
Widgets.Containers.Panels.Get_Min_Width defined at widgets-containers-panels.ads:53:14
Widgets.Labels.Draw_Content defined at widgets-labels.ads:45:15
Widgets.Labels.Get_Min_Height defined at widgets-labels.ads:47:14
Widgets.Labels.Get_Min_Width defined at widgets-labels.ads:49:14
Synchronously retrieves a bitmap by tile id.

Get_Font

function Get_Font
( this: not null access Theme'Class;
name: String;
size: Positive )
return Font_Type;

References:

themes.ads:80:14 (declaration)
themes.adb:194:31 (reference)
themes.adb:202:14 (body)
themes.adb:224:9 (label)
themes.adb:238:43 (reference)
themes.adb:252:43 (reference)
widgets-input_boxes.adb:197:45 (reference)
widgets-menubars.adb:95:49 (reference)

Called by:

Draw_Label defined at themes.ads:61:15
Get_Text_Height defined at themes.ads:87:14
Get_Text_Width defined at themes.ads:101:14
Widgets.Input_Boxes.Draw_Content defined at widgets-input_boxes.ads:130:15
Widgets.Menubars.Draw_Content defined at widgets-menubars.ads:59:15

Calls:

Debugging.Dbg defined at debugging.ads:58:15
Element defined at a-ciorma.ads:73:13
Find defined at a-ciorma.ads:145:13
Has_Element defined at a-ciorma.ads:155:13
Load_Font defined at themes.ads:166:14
Support.Image defined at support.ads:96:14
To_Lower defined at a-chahan.ads:68:13
Returns a reference to a previously loaded font. If the font by this name and in this size has not been loaded previously, null will be returned.

Get_Text_Height

function Get_Text_Height
( this: not null access Theme'Class;
fontName: String;
fontSize: Positive )
return Natural;

References:

themes.ads:87:14 (declaration)
themes.adb:154:42 (reference)
themes.adb:235:14 (body)
themes.adb:244:9 (label)
themes.adb:274:49 (reference)
widgets-containers-panels.adb:66:54 (reference)
widgets-containers-panels.adb:77:43 (reference)
widgets-containers-panels.adb:172:72 (reference)
widgets-containers-panels.adb:210:80 (reference)
widgets-containers-panels.adb:237:80 (reference)
widgets-menu_items.adb:49:55 (reference)
widgets-menu_items.adb:139:67 (reference)
widgets-menubars.adb:284:75 (reference)

Called by:

Draw_Label defined at themes.ads:61:15
Label_Height defined at themes.ads:110:14
Widgets.Containers.Panels.Construct defined at widgets-containers-panels.ads:38:15
Widgets.Containers.Panels.Draw_Content defined at widgets-containers-panels.ads:45:15
Widgets.Containers.Panels.Set_Border defined at widgets-containers-panels.ads:16:15
Widgets.Containers.Panels.Set_Icon defined at widgets-containers-panels.ads:22:15
Widgets.Containers.Panels.Set_Title defined at widgets-containers-panels.ads:24:15
Widgets.Menu_Items.Box_Size defined at widgets-menu_items.ads:99:14
Widgets.Menu_Items.Get_Min_Height defined at widgets-menu_items.ads:107:14
Widgets.Menubars.Set_Parent defined at widgets-menubars.ads:75:15
Returns the height in pixels of any text drawn in the given font. Zero is returned if the font hasn't been loaded.

Get_ID (abstract)

function Get_ID
( this: access Theme;
name: String )
return Natural is abstract;

References:

themes.ads:94:14 (declaration)
widgets-buttons-checkboxes.adb:183:57 (dispatching call)
widgets-buttons.adb:213:52 (dispatching call)
widgets-containers-panels.adb:197:45 (dispatching call)
widgets-labels.adb:141:52 (dispatching call)
Returns the id number of a tile referenced by name in the theme's tile library.

Get_Scaling_Filter

function Get_Scaling_Filter
( this: not null access Theme'Class )
return Filter_Type;

References:

themes.ads:97:14 (declaration)
themes.adb:228:14 (body)
themes.adb:231:9 (label)
widgets-containers.adb:135:50 (reference)
widgets.adb:323:54 (reference)
game_views-ked-actions.adb:69:59 (reference)
Returns the theme's current scaling filter type.

Get_Text_Width

function Get_Text_Width
( this: not null access Theme'Class;
text: String;
fontName: String;
fontSize: Positive )
return Natural;

References:

themes.ads:101:14 (declaration)
themes.adb:155:42 (reference)
themes.adb:248:14 (body)
themes.adb:258:9 (label)
themes.adb:286:34 (reference)
widgets-input_boxes.adb:95:26 (reference)
widgets-input_boxes.adb:106:30 (reference)
widgets-input_boxes.adb:384:43 (reference)
widgets-menu_items-menu_checkboxes.adb:39:65 (reference)
widgets-menu_items.adb:88:45 (reference)
widgets-menubars.adb:47:56 (reference)

Called by:

Draw_Label defined at themes.ads:61:15
Label_Width defined at themes.ads:120:14
Widgets.Input_Boxes.Adjust_Visible_Text defined at widgets-input_boxes.ads:115:15
Widgets.Input_Boxes.Adjust_Visible_Text defined at widgets-input_boxes.ads:115:15
Widgets.Input_Boxes.Handle_Mouse_Press defined at widgets-input_boxes.ads:141:15
Widgets.Menu_Items.Draw_Content defined at widgets-menu_items.ads:103:15
Widgets.Menu_Items.Menu_Checkboxes.Draw_Content defined at widgets-menu_items-menu_checkboxes.ads:29:15
Widgets.Menubars.Add defined at widgets-menubars.ads:17:15
Returns the width in pixels of 'text' in the given font. Zero is returned if the font hasn't been loaded.

Label_Height

function Label_Height
( this: access Theme;
icon: A_Bitmap;
text: String;
fontName: String;
fontSize: Positive )
return Natural;

References:

themes.ads:110:14 (declaration)
themes.adb:263:14 (body)
themes.adb:277:9 (label)
widgets-buttons-checkboxes.adb:126:39 (dispatching call)
widgets-buttons.adb:136:32 (dispatching call)
widgets-containers-panels.adb:116:33 (dispatching call)
widgets-labels.adb:79:32 (dispatching call)

Called by:

Widgets.Buttons.Checkboxes.Get_Min_Height defined at widgets-buttons-checkboxes.ads:29:14
Widgets.Buttons.Get_Min_Height defined at widgets-buttons.ads:116:14
Widgets.Containers.Panels.Get_Min_Height defined at widgets-containers-panels.ads:49:14
Widgets.Labels.Get_Min_Height defined at widgets-labels.ads:47:14
Returns the minimum height in pixels required to draw a label with the given icon and text. If Draw_Label is overridden, this function should also be appropriately overridden to return the correct height.

Label_Width

function Label_Width
( this: access Theme;
icon: A_Bitmap;
text: String;
fontName: String;
fontSize: Positive )
return Natural;

References:

themes.ads:120:14 (declaration)
themes.adb:281:14 (body)
themes.adb:296:9 (label)
widgets-buttons-checkboxes.adb:32:47 (dispatching call)
widgets-buttons-checkboxes.adb:144:26 (dispatching call)
widgets-buttons.adb:157:32 (dispatching call)
widgets-containers-panels.adb:140:32 (dispatching call)
widgets-labels.adb:100:32 (dispatching call)
widgets-menu_items.adb:156:46 (dispatching call)
widgets-containers-panels-dialogs-entity_attributes.adb:127:72 (dispatching call)

Called by:

Widgets.Buttons.Checkboxes.Draw_Content defined at widgets-buttons-checkboxes.ads:27:15
Widgets.Buttons.Checkboxes.Get_Min_Width defined at widgets-buttons-checkboxes.ads:31:14
Widgets.Buttons.Get_Min_Width defined at widgets-buttons.ads:118:14
Widgets.Containers.Panels.Dialogs.Entity_Attributes.Construct defined at widgets-containers-panels-dialogs-entity_attributes.ads:30:15
Widgets.Containers.Panels.Get_Min_Width defined at widgets-containers-panels.ads:53:14
Widgets.Labels.Get_Min_Width defined at widgets-labels.ads:49:14
Widgets.Menu_Items.Get_Min_Width defined at widgets-menu_items.ads:109:14
Returns the minimum width in pixels required to draw a label with the given icon and text. If Draw_Label is overridden, this function should also be appropriately overridden to return the correct width.

Set_Scaling_Filter

procedure Set_Scaling_Filter
( this: not null access Theme'Class;
filter: Filter_Type );

References:

themes.ads:128:15 (declaration)
themes.adb:341:15 (body)
themes.adb:347:9 (label)
game_views-ked-actions.adb:69:15 (reference)
game_views-ked-actions.adb:73:19 (reference)
Sets the theme's current scaling filter type.

Delete

procedure Delete
( this: in out A_Theme );

References:

themes.ads:132:15 (declaration)
applications.adb:175:9 (reference)
themes.adb:351:15 (body)
themes.adb:354:9 (label)
themes-ked.adb:19:13 (reference)

Called by:

Applications.Close defined at applications.ads:39:15
Themes.Ked.Create_Theme defined at themes-ked.adb:12:14

Calls:

Objects.Delete defined at objects.ads:46:15
Deletes the theme.