Tue, 24 May 2011 19:01:15 +0200
Fixed a bug in Shell.py.
QScintilla/Shell.py | file | annotate | diff | comparison | revisions |
--- 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): """