--- a/eric6/MicroPython/MicroPythonReplWidget.py Mon Jul 22 20:17:33 2019 +0200 +++ b/eric6/MicroPython/MicroPythonReplWidget.py Tue Jul 23 19:43:14 2019 +0200 @@ -334,6 +334,7 @@ menu.addAction(self.tr("Copy"), self.replEdit.copy, copyKeys) menu.addAction(self.tr("Paste"), self.__paste, pasteKeys) menu.addSeparator() + # TODO: add device specific context menu entries menu.exec_(self.replEdit.mapToGlobal(pos)) def setConnected(self, connected): @@ -416,8 +417,6 @@ if self.__plotterRunning: self.on_chartButton_clicked() - - # TODO: add more def __disconnectSerial(self): """