1
0

Keep console input when switching server (#6607)

Console input was being replaced by an empty line every time the
server used changed.
This commit is contained in:
Benoît Verret
2020-09-18 12:30:43 -04:00
committed by GitHub
parent 5337331fa0
commit ddc94197aa

View File

@@ -86,8 +86,9 @@ class Console(QtWidgets.QPlainTextEdit):
self.namespace.update(namespace)
def showMessage(self, message):
curr_line = self.getCommand()
self.appendPlainText(message)
self.newPrompt('')
self.newPrompt(curr_line)
def clear(self):
curr_line = self.getCommand()
@@ -96,7 +97,7 @@ class Console(QtWidgets.QPlainTextEdit):
def newPrompt(self, curr_line):
if self.construct:
prompt = '... '
prompt = '... ' + curr_line
else:
prompt = self.prompt + curr_line