|
|
| version 1.3, 2007/01/02 14:37:29 | version 1.4, 2007/01/02 16:43:48 |
|---|---|
| Line 118 key_press_evhandler(GtkWidget *w, GdkEve | Line 118 key_press_evhandler(GtkWidget *w, GdkEve |
| UNUSED(w); | UNUSED(w); |
| UNUSED(p); | UNUSED(p); |
| if ((ev->keyval == GDK_F12) && (np2oscfg.F12KEY == 0)) | if (ev->keyval == GDK_F11) |
| xmenu_select_screen(scrnmode ^ SCRNMODE_FULLSCREEN); | |
| else if ((ev->keyval == GDK_F12) && (np2oscfg.F12KEY == 0)) | |
| xmenu_toggle_item(NULL, "mousemode", !np2oscfg.MOUSE_SW); | xmenu_toggle_item(NULL, "mousemode", !np2oscfg.MOUSE_SW); |
| else | else |
| gtkkbd_keydown(ev->keyval); | gtkkbd_keydown(ev->keyval); |
| Line 361 void | Line 363 void |
| gui_gtk_widget_mainloop(void) | gui_gtk_widget_mainloop(void) |
| { | { |
| install_idle_process(); | install_idle_process(); |
| gtk_main(); | gtk_main(); |
| uninstall_idle_process(); | uninstall_idle_process(); |