References:
widgets-buttons-checkboxes.adb:160:13 (reference)
widgets-buttons-checkboxes.adb:173:13 (reference)
widgets-buttons-groups.adb:20:66 (reference)
widgets-buttons-groups.adb:60:23 (reference)
widgets-buttons-groups.adb:65:33 (reference)
widgets-buttons-pushes.adb:10:63 (reference)
widgets-buttons-pushes.adb:14:16 (reference)
widgets-buttons-toggles.adb:11:65 (reference)
widgets-buttons-toggles.adb:15:16 (reference)
widgets-buttons.adb:256:9 (reference)
game_views-ked-toolbar-layers_menu.adb:26:17 (reference)
game_views-ked-toolbar-layers_menu.adb:41:17 (reference)
game_views-ked-toolbar-layers_menu.adb:47:24 (reference)
game_views-ked-toolbar-layers_menu.adb:64:18 (reference)
game_views-ked-toolbar-layers_menu.adb:114:23 (reference)
game_views-ked-toolbar-layers_menu.adb:148:19 (reference)
game_views-ked-toolbar-layers_menu.adb:183:13 (reference)
game_views-ked-toolbar-layers_menu.adb:187:13 (reference)
game_views-ked-toolbar-layers_menu.adb:188:13 (reference)
game_views-ked-toolbar-layers_menu.adb:201:22 (reference)
game_views-ked-toolbar-test_panel.adb:20:18 (reference)
game_views-ked-toolbar.adb:37:21 (reference)
game_views-ked-toolbar.adb:38:21 (reference)
game_views-ked-toolbar.adb:39:31 (reference)
game_views-ked-toolbar.adb:40:31 (reference)
game_views-ked-toolbar.adb:41:31 (reference)
game_views-ked-toolbar.adb:42:31 (reference)
game_views-ked-toolbar.adb:44:21 (reference)
game_views-ked-toolbar.adb:45:21 (reference)
game_views-ked-toolbar.adb:59:26 (reference)
widgets-containers-panels-dialogs-about.adb:29:18 (reference)
widgets-containers-panels-dialogs-entity_attributes.adb:111:18 (reference)
widgets-containers-panels-dialogs-import_world.adb:38:21 (reference)
widgets-containers-panels-dialogs-new_world.adb:35:21 (reference)
widgets-containers-panels-dialogs-open_world.adb:34:21 (reference)
widgets-containers-panels-dialogs-properties.adb:34:20 (reference)
widgets-containers-panels-dialogs-properties.adb:132:21 (reference)
widgets-containers-panels-dialogs-properties.adb:135:21 (reference)
widgets-containers-panels-dialogs-properties.adb:140:17 (reference)
widgets-containers-panels-dialogs-properties.adb:203:9 (reference)
widgets-containers-panels-dialogs-resize_world.adb:35:20 (reference)
widgets-containers-panels-dialogs-save_changes.adb:32:18 (reference)
widgets-containers-panels-dialogs-save_world.adb:34:21 (reference)