Show More
@@ -76,6 +76,14 b' def loop_wx(kernel):' | |||||
76 | # The redirect=False here makes sure that wx doesn't replace |
|
76 | # The redirect=False here makes sure that wx doesn't replace | |
77 | # sys.stdout/stderr with its own classes. |
|
77 | # sys.stdout/stderr with its own classes. | |
78 | kernel.app = IPWxApp(redirect=False) |
|
78 | kernel.app = IPWxApp(redirect=False) | |
|
79 | ||||
|
80 | # The import of wx on Linux sets the handler for signal.SIGINT | |||
|
81 | # to 0. This is a bug in wx or gtk. We fix by just setting it | |||
|
82 | # back to the Python default. | |||
|
83 | import signal | |||
|
84 | if not callable(signal.getsignal(signal.SIGINT)): | |||
|
85 | signal.signal(signal.SIGINT, signal.default_int_handler) | |||
|
86 | ||||
79 | start_event_loop_wx(kernel.app) |
|
87 | start_event_loop_wx(kernel.app) | |
80 |
|
88 | |||
81 |
|
89 |
General Comments 0
You need to be logged in to leave comments.
Login now