|
|
| version 1.8, 2007/01/23 16:24:36 | version 1.9, 2007/01/24 14:09:32 |
|---|---|
| Line 74 destroy_evhandler(GtkWidget *w, GdkEvent | Line 74 destroy_evhandler(GtkWidget *w, GdkEvent |
| UNUSED(ev); | UNUSED(ev); |
| UNUSED(p); | UNUSED(p); |
| taskmng_exit(); | |
| toolkit_widget_quit(); | toolkit_widget_quit(); |
| return TRUE; | return TRUE; |
| Line 227 motion_notify_evhandler(GtkWidget *w, Gd | Line 226 motion_notify_evhandler(GtkWidget *w, Gd |
| * misc | * misc |
| */ | */ |
| static gint | static gint |
| main_widget_quit(gpointer p) | main_loop_quit(gpointer p) |
| { | { |
| BYTE orig_scrnmode; | |
| UNUSED(p); | UNUSED(p); |
| /* change to window mode */ | scrnmng_fullscreen(0); |
| orig_scrnmode = scrnmode; | |
| xmenu_select_screen(scrnmode & ~SCRNMODE_FULLSCREEN); | |
| scrnmode = orig_scrnmode; | |
| return 0; | return 0; |
| } | } |
| Line 391 gui_gtk_widget_mainloop(void) | Line 386 gui_gtk_widget_mainloop(void) |
| { | { |
| install_idle_process(); | install_idle_process(); |
| gtk_quit_add(1, main_widget_quit, NULL); | gtk_quit_add(1, main_loop_quit, NULL); |
| gtk_main(); | gtk_main(); |
| uninstall_idle_process(); | uninstall_idle_process(); |
| } | } |