Searched refs:finish_menu (Results 1 – 8 of 8) sorted by relevance
/dports/games/frogatto/frogatto-1.3.1/modules/frogatto/data/objects/playable/ |
H A D | menu_selector.cfg | 71 on_ctrl_tongue: "fire_event('finish_menu')", 90 fire_event('finish_menu')
|
H A D | menu_selector_load_game.cfg | 71 on_ctrl_tongue: "fire_event('finish_menu')", 108 fire_event('finish_menu')
|
/dports/x11-wm/pwm/pwm-20070720/ |
H A D | menu.c | 355 static void finish_menu(WMenu *menu, bool all) in finish_menu() function 448 finish_menu(menu, FALSE); in menu_execute_selected() 604 finish_menu(menu, TRUE); in menu_command() 687 finish_menu(menu, FALSE); in menu_button()
|
/dports/games/frogatto/frogatto-1.3.1/modules/frogatto/data/level/ |
H A D | titlescreen-load-game-selector.cfg | 125 "on_click": "fire_event(level.player, 'finish_menu')",
|
H A D | titlescreen-new-game-selector.cfg | 239 "on_click": "fire_event(filter(level.chars, value.type = 'menu_selector')[0], 'finish_menu')",
|
/dports/games/iagno/iagno-3.38.1/src/ |
H A D | iagno.vala | 58 private GLib.Menu finish_menu; 411 finish_menu = new GLib.Menu (); 413 finish_menu.append (_("_Show final board"), "ui.undo"); 414 finish_menu.freeze (); 419 history_button_1.update_menu (undoing ? history_menu : finish_menu); 420 history_button_2.update_menu (undoing ? history_menu : finish_menu);
|
/dports/audio/jalv/jalv-1.6.6/src/ |
H A D | jalv_gtk.c | 353 finish_menu(PresetMenu* menu) in finish_menu() function 382 finish_menu(&menu); in rebuild_preset_menu() 1187 finish_menu(&menu); in build_menu()
|
/dports/audio/zrythm/zrythm-1.0.0-alpha.26.0.13/src/plugins/ |
H A D | plugin_gtk.c | 246 finish_menu (PluginGtkPresetMenu* menu) in finish_menu() function 294 finish_menu (&menu); in plugin_gtk_rebuild_preset_menu() 601 finish_menu (&menu); in plugin_gtk_build_menu()
|