Show More
@@ -102,6 +102,12 b' class InputHookManager(object):' | |||||
102 | if app: |
|
102 | if app: | |
103 | import wx |
|
103 | import wx | |
104 | app = wx.App(redirect=False, clearSigInt=False) |
|
104 | app = wx.App(redirect=False, clearSigInt=False) | |
|
105 | # The import of wx on Linux sets the handler for signal.SIGINT | |||
|
106 | # to 0. This is a bug in wx or gtk. We fix by just setting it | |||
|
107 | # back to the Python default. | |||
|
108 | import signal | |||
|
109 | if not callable(signal.getsignal(signal.SIGINT)): | |||
|
110 | signal.signal(signal.SIGINT, signal.default_int_handler) | |||
105 | return app |
|
111 | return app | |
106 |
|
112 | |||
107 | def disable_wx(self): |
|
113 | def disable_wx(self): | |
@@ -176,7 +182,8 b' class InputHookManager(object):' | |||||
176 | except AttributeError: |
|
182 | except AttributeError: | |
177 | # For older versions of gtk, use our own ctypes version |
|
183 | # For older versions of gtk, use our own ctypes version | |
178 | from IPython.lib.inputhookgtk import inputhook_gtk |
|
184 | from IPython.lib.inputhookgtk import inputhook_gtk | |
179 |
|
|
185 | self.set_inputhook(inputhook_gtk) | |
|
186 | self._current_gui = 'gtk' | |||
180 |
|
187 | |||
181 | def disable_gtk(self): |
|
188 | def disable_gtk(self): | |
182 | """Disable event loop integration with PyGTK. |
|
189 | """Disable event loop integration with PyGTK. |
General Comments 0
You need to be logged in to leave comments.
Login now