From 42faf38326be3d4a03b4de0fe422f7daf3b04039 2009-08-21 21:50:45 From: Brian Granger Date: 2009-08-21 21:50:45 Subject: [PATCH] Fixed two bugs in inputhook. --- diff --git a/IPython/lib/inputhook.py b/IPython/lib/inputhook.py index ee965a6..29abeb3 100644 --- a/IPython/lib/inputhook.py +++ b/IPython/lib/inputhook.py @@ -102,6 +102,12 @@ class InputHookManager(object): if app: import wx app = wx.App(redirect=False, clearSigInt=False) + # The import of wx on Linux sets the handler for signal.SIGINT + # to 0. This is a bug in wx or gtk. We fix by just setting it + # back to the Python default. + import signal + if not callable(signal.getsignal(signal.SIGINT)): + signal.signal(signal.SIGINT, signal.default_int_handler) return app def disable_wx(self): @@ -176,7 +182,8 @@ class InputHookManager(object): except AttributeError: # For older versions of gtk, use our own ctypes version from IPython.lib.inputhookgtk import inputhook_gtk - add_inputhook(inputhook_gtk) + self.set_inputhook(inputhook_gtk) + self._current_gui = 'gtk' def disable_gtk(self): """Disable event loop integration with PyGTK.