|
@ -26,6 +26,10 @@ class Console(QtGui.QPlainTextEdit): |
|
|
self.appendPlainText(message) |
|
|
self.appendPlainText(message) |
|
|
self.newPrompt() |
|
|
self.newPrompt() |
|
|
|
|
|
|
|
|
|
|
|
def clear(self): |
|
|
|
|
|
self.setPlainText('') |
|
|
|
|
|
self.newPrompt() |
|
|
|
|
|
|
|
|
def newPrompt(self): |
|
|
def newPrompt(self): |
|
|
if self.construct: |
|
|
if self.construct: |
|
|
prompt = '.' * len(self.prompt) |
|
|
prompt = '.' * len(self.prompt) |
|
@ -160,8 +164,8 @@ class Console(QtGui.QPlainTextEdit): |
|
|
elif event.key() == QtCore.Qt.Key_Down: |
|
|
elif event.key() == QtCore.Qt.Key_Down: |
|
|
self.setCommand(self.getNextHistoryEntry()) |
|
|
self.setCommand(self.getNextHistoryEntry()) |
|
|
return |
|
|
return |
|
|
#elif event.key() == QtCore.Qt.Key_D and event.modifiers() == QtCore.Qt.ControlModifier: |
|
|
elif event.key() == QtCore.Qt.Key_L and event.modifiers() == QtCore.Qt.ControlModifier: |
|
|
# self.close() |
|
|
self.clear() |
|
|
super(Console, self).keyPressEvent(event) |
|
|
super(Console, self).keyPressEvent(event) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|