Wed, 25 May 2011 08:35:20 +0200
Merged remote changes.
--- a/QScintilla/Shell.py Wed May 25 08:33:57 2011 +0200 +++ b/QScintilla/Shell.py Wed May 25 08:35:20 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): """