gnome does not like ^C

This hack simply causes ^C to be ignored completely by the gnome interface.
Gnome really cannot handle interrupts, and the window port interface does
not currently provide a way for the gnome interface to just quit.  Allowing
the gnome interface to prompt would require a complete overhall to the the
way window ports work.

diff --git a/doc/fixes34.3 b/doc/fixes34.3
index 6c995ced4b6e6c1d9772fd9f71ccf629826e6f6f..99bfc4904972b105c51602c05b16cc221fc5c6a2 100644 (file)
--- a/doc/fixes34.3
+++ b/doc/fixes34.3
@@ -79,6 +79,7 @@ X11: avoid a possible crash when using window manger to close a player
 Gnome: add Quiver menu item, fix outdated Quit menu item
 Gnome: key values on unsigned char platform could fail to compare correctly
 Gnome: real extended command menu so all extended commands can be entered
+Gnome: ignore interrupts to avoid infinite loop in gnome library
 tty: avoid crash displaying quit inventory if inventory was already displayed
 
 

diff --git a/win/gnome/gnbind.c b/win/gnome/gnbind.c
index cb9c29f2ea19ca6b405e624b98dc6a608ce0d7a7..6527edcb2523bb2cfbf592852cb2978e5e05cb98 100644 (file)
--- a/win/gnome/gnbind.c
+++ b/win/gnome/gnbind.c
@@ -106,9 +106,10 @@ void gnome_init_nhwindows(int* argc, char** argv)
 #   error HACKDIR is not defined!
 #endif
   
-    /* Force wizard mode on for debugging */
-    //wizard = TRUE;
-    
+    // gnome/gtk is not reentrant
+    set_option_mod_status("ignintr", DISP_IN_GAME);
+    flags.ignintr = TRUE;
+
     iflags.window_inited = TRUE;
 
     /* gnome-specific window creation */