QScintilla/Shell.py

changeset 5176
30547e9a19e3
parent 5126
d28b92dabc2b
child 5389
9b1c800daff3
equal deleted inserted replaced
5175:9db0b0f15d12 5176:30547e9a19e3
1449 self.inRawMode = False 1449 self.inRawMode = False
1450 self.echoInput = True 1450 self.echoInput = True
1451 if not cmd: 1451 if not cmd:
1452 cmd = '' 1452 cmd = ''
1453 else: 1453 else:
1454 cmd = cmd.replace(self.prompt, "") 1454 cmd = cmd[len(self.prompt):]
1455 self.dbs.remoteRawInput(cmd) 1455 self.dbs.remoteRawInput(cmd)
1456 1456
1457 def __useHistory(self): 1457 def __useHistory(self):
1458 """ 1458 """
1459 Private method to display a command from the history. 1459 Private method to display a command from the history.

eric ide

mercurial