QScintilla/Shell.py

changeset 3235
2b8f173b35bb
parent 3190
a9a94491c4fd
child 3356
22633c0739e2
--- a/QScintilla/Shell.py	Thu Jan 30 19:41:09 2014 +0100
+++ b/QScintilla/Shell.py	Fri Jan 31 10:53:02 2014 +0100
@@ -1293,7 +1293,10 @@
             
             self.dbs.remoteStatement(cmd)
             while self.inCommandExecution:
-                QApplication.processEvents()
+                try:
+                    QApplication.processEvents()
+                except KeyboardInterrupt:
+                    pass
         else:
             if not self.echoInput:
                 cmd = self.buff

eric ide

mercurial