@@ -74,6 +74,12 @@ Shortcuts:

             win.set_dotcode(sys.stdin.read())

         else:

             win.open_file(inputfile)

+

+    if sys.platform != 'win32':

+        # Reset KeyboardInterrupt SIGINT handler, so that glib loop can be stopped by it

+        import signal

+        signal.signal(signal.SIGINT, signal.SIG_DFL)

+

     Gtk.main()

 if __name__ == '__main__':