References:
widgets-buttons-groups.adb:20:15 (body)
widgets-buttons-groups.adb:30:9 (label)
game_views-ked-toolbar-layers_menu.adb:72:22 (dispatching call)
game_views-ked-toolbar-layers_menu.adb:130:31 (dispatching call)
game_views-ked-toolbar.adb:76:22 (dispatching call)
game_views-ked-toolbar.adb:84:22 (dispatching call)
game_views-ked-toolbar.adb:92:22 (dispatching call)
game_views-ked-toolbar.adb:100:22 (dispatching call)
game_views-ked-toolbar.adb:108:22 (dispatching call)
game_views-ked-toolbar.adb:116:22 (dispatching call)
game_views-ked-toolbar.adb:124:22 (dispatching call)
game_views-ked-toolbar.adb:131:22 (dispatching call)
game_views-ked-toolbar.adb:138:22 (dispatching call)