Searched refs:machine_menu (Results 1 – 2 of 2) sorted by relevance
2102 GtkWidget *machine_menu; in gd_create_menu_machine() local2105 machine_menu = gtk_menu_new(); in gd_create_menu_machine()2106 gtk_menu_set_accel_group(GTK_MENU(machine_menu), s->accel_group); in gd_create_menu_machine()2109 gtk_menu_shell_append(GTK_MENU_SHELL(machine_menu), s->pause_item); in gd_create_menu_machine()2112 gtk_menu_shell_append(GTK_MENU_SHELL(machine_menu), separator); in gd_create_menu_machine()2115 gtk_menu_shell_append(GTK_MENU_SHELL(machine_menu), s->reset_item); in gd_create_menu_machine()2121 gtk_menu_shell_append(GTK_MENU_SHELL(machine_menu), separator); in gd_create_menu_machine()2128 gtk_menu_shell_append(GTK_MENU_SHELL(machine_menu), s->quit_item); in gd_create_menu_machine()2130 return machine_menu; in gd_create_menu_machine()2357 s->machine_menu = gd_create_menu_machine(s); in gd_create_menus()[all …]
103 GtkWidget *machine_menu; member