QScintilla/Shell.py

branch
5_1_x
changeset 1057
fed2f10ce334
parent 826
2e3e2055e715
child 1510
e75ecf2bd9dd
--- a/QScintilla/Shell.py	Sun May 22 11:30:23 2011 +0200
+++ b/QScintilla/Shell.py	Tue May 24 19:02:28 2011 +0200
@@ -394,6 +394,8 @@
         self.inRawMode = False
         self.echoInput = True
         self.clientCapabilities = 0
+        self.inCommandExecution = False
+        self.interruptCommandExecution = False
         
     def __clientCapabilities(self, cap, clType):
         """

eric ide

mercurial