diff --git a/rascal2/widgets/terminal.py b/rascal2/widgets/terminal.py index 71185824..ff472771 100644 --- a/rascal2/widgets/terminal.py +++ b/rascal2/widgets/terminal.py @@ -97,6 +97,8 @@ def write_error(self, text: str): def clear(self): """Clear the text in the terminal.""" + self.write_html('
" "
') + self.text_area.moveCursor(QtGui.QTextCursor.MoveOperation.Start, QtGui.QTextCursor.MoveMode.MoveAnchor) self.text_area.setPlainText("") self.update()