diff -r 7414b3b012b1 -r d5f340dfb986 eric6/MicroPython/MicroPythonReplWidget.py --- a/eric6/MicroPython/MicroPythonReplWidget.py Sat Jul 27 19:22:58 2019 +0200 +++ b/eric6/MicroPython/MicroPythonReplWidget.py Sun Jul 28 18:55:00 2019 +0200 @@ -329,6 +329,8 @@ copyKeys = QKeySequence(Qt.CTRL + Qt.SHIFT + Qt.Key_C) pasteKeys = QKeySequence(Qt.CTRL + Qt.SHIFT + Qt.Key_V) menu = QMenu(self) + menu.addAction(self.tr("Clear"), self.__clear) + menu.addSeparator() menu.addAction(self.tr("Copy"), self.replEdit.copy, copyKeys) menu.addAction(self.tr("Paste"), self.__paste, pasteKeys) menu.addSeparator() @@ -427,6 +429,14 @@ self.setConnected(False) @pyqtSlot() + def __clear(self): + """ + Private slot to clear the REPL pane. + """ + self.replEdit.clear() + self.__serial and self.__serial.write(b"\r") + + @pyqtSlot() def __paste(self): """ Private slot to perform a paste operation.