Index

Package: Game_Views.Ked.Toolbar.Layers_Menu

Description

package Game_Views.Ked.Toolbar.Layers_Menu is

Subprograms & Entries

Make_Menu

procedure Make_Menu
( view: not null A_Ked_View;
win: not null A_Window );

References:

game_views-ked-toolbar-layers_menu.ads:7:15 (declaration)
game_views-ked-toolbar-layers_menu.adb:62:15 (body)
game_views-ked-toolbar-layers_menu.adb:98:9 (label)
game_views-ked-toolbar.adb:191:21 (reference)
Builds the gui for the layers menu

Update_Menu

procedure Update_Menu
( view: not null access Ked_View'Class;
layers: not null A_Layer_Array );

References:

game_views-ked-toolbar-layers_menu.ads:11:15 (declaration)
game_views-ked-toolbar-layers_menu.adb:102:15 (body)
game_views-ked-toolbar-layers_menu.adb:162:9 (label)
game_views-ked.adb:209:37 (reference)

Called by:

Game_Views.Ked.Handle_Event defined at game_views-ked.ads:58:15

Calls:

Applications.Get_Application defined at applications.ads:30:14
Applications.Get_Theme defined at applications.ads:47:14
Game_Views.Get_Widget defined at game_views.ads:41:14
Preferences.Get_Pref defined at preferences.ads:10:14
Set_Active_Layer defined at game_views-ked-toolbar-layers_menu.ads:16:15
Show_Clipping defined at game_views-ked-toolbar-layers_menu.ads:18:15
Show_Layer defined at game_views-ked-toolbar-layers_menu.ads:20:15
Support.Image defined at support.ads:96:14
Themes.Color defined at themes.ads:38:14
Widgets.Buttons.Add_Listener defined at widgets-buttons.ads:36:15
Widgets.Buttons.Checkboxes.Create_Checkbox defined at widgets-buttons-checkboxes.ads:7:14
Widgets.Buttons.Checkboxes.Set_Check_Icon defined at widgets-buttons-checkboxes.ads:14:15
Widgets.Buttons.Contrast_Text defined at widgets-buttons.ads:39:15
Widgets.Buttons.Groups.Add defined at widgets-buttons-groups.ads:12:15
Widgets.Buttons.Groups.Clear defined at widgets-buttons-groups.ads:14:15
Widgets.Buttons.Set_Align defined at widgets-buttons.ads:48:15
Widgets.Buttons.Set_Color defined at widgets-buttons.ads:121:15
Widgets.Buttons.Set_State defined at widgets-buttons.ads:58:15
Widgets.Buttons.Toggles.Create_Toggle_Button defined at widgets-buttons-toggles.ads:9:14
Widgets.Containers.Add defined at widgets-containers.ads:11:15
Widgets.Containers.Delete_Children defined at widgets-containers.ads:27:15
Widgets.Set_Attribute defined at widgets.ads:185:15
Widgets.Set_Border defined at widgets.ads:198:15
Widgets.Set_Enabled defined at widgets.ads:210:15
Widgets.Set_Focusable defined at widgets.ads:213:15
Widgets.Set_Layout_LTRB defined at widgets.ads:248:15
Call this procedure when a new world is loaded, to update the layers menu