QScintilla/Shell.py

changeset 5176
30547e9a19e3
parent 5126
d28b92dabc2b
child 5389
9b1c800daff3
diff -r 9db0b0f15d12 -r 30547e9a19e3 QScintilla/Shell.py
--- a/QScintilla/Shell.py	Mon Sep 19 20:10:33 2016 +0200
+++ b/QScintilla/Shell.py	Sat Sep 24 18:00:30 2016 +0200
@@ -1451,7 +1451,7 @@
             if not cmd:
                 cmd = ''
             else:
-                cmd = cmd.replace(self.prompt, "")
+                cmd = cmd[len(self.prompt):]
             self.dbs.remoteRawInput(cmd)
         
     def __useHistory(self):

eric ide

mercurial