QScintilla/Shell.py

branch
5_4_x
changeset 3234
89cd38c296b6
parent 3160
209a07d7e401
child 3355
e0f9ccad12da
--- a/QScintilla/Shell.py	Wed Jan 22 18:35:38 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