QScintilla/Shell.py

branch
6_1_x
changeset 5177
d6bdb0f706b9
parent 5127
23fdfb2be857
equal deleted inserted replaced
5167:475f5f1a052c 5177:d6bdb0f706b9
1432 self.inRawMode = False 1432 self.inRawMode = False
1433 self.echoInput = True 1433 self.echoInput = True
1434 if not cmd: 1434 if not cmd:
1435 cmd = '' 1435 cmd = ''
1436 else: 1436 else:
1437 cmd = cmd.replace(self.prompt, "") 1437 cmd = cmd[len(self.prompt):]
1438 self.dbs.remoteRawInput(cmd) 1438 self.dbs.remoteRawInput(cmd)
1439 1439
1440 def __useHistory(self): 1440 def __useHistory(self):
1441 """ 1441 """
1442 Private method to display a command from the history. 1442 Private method to display a command from the history.

eric ide

mercurial