QScintilla/Shell.py

changeset 1056
a3eb3c9a7e4b
parent 945
8cd4d08fa9f6
child 1112
8a7d1b9d18db
--- a/QScintilla/Shell.py	Sun May 22 18:00:52 2011 +0200
+++ b/QScintilla/Shell.py	Tue May 24 19:01:15 2011 +0200
@@ -405,6 +405,8 @@
         self.inRawMode = False
         self.echoInput = True
         self.clientCapabilities = 0
+        self.inCommandExecution = False
+        self.interruptCommandExecution = False
         
     def __clientCapabilities(self, cap, clType):
         """

eric ide

mercurial