eric6/MicroPython/MicroPythonReplWidget.py

branch
micropython
changeset 7081
ed510767c096
parent 7077
3b7475b7a1ef
child 7082
ec199ef0cfc6
--- 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):
         """

eric ide

mercurial