Sat, 24 Sep 2016 18:00:30 +0200
Fixed issue related to (raw_)input(). (grafted from 30547e9a19e36f113558a37a56314140a8b5087a)
--- a/QScintilla/Shell.py Wed Sep 14 18:36:43 2016 +0200 +++ b/QScintilla/Shell.py Sat Sep 24 18:00:30 2016 +0200 @@ -1434,7 +1434,7 @@ if not cmd: cmd = '' else: - cmd = cmd.replace(self.prompt, "") + cmd = cmd[len(self.prompt):] self.dbs.remoteRawInput(cmd) def __useHistory(self):