--- a/eric6/MicroPython/MicroPythonWidget.py	Wed Oct 30 19:47:55 2019 +0100
+++ b/eric6/MicroPython/MicroPythonWidget.py	Fri Nov 01 16:05:15 2019 +0100
@@ -1109,6 +1109,7 @@
             act.setEnabled(self.__connected)
         self.__superMenu.addAction(
             self.tr("Show Local Time"), self.__showLocalTime)
+        # TODO: add entry to show local and device time side-by-side
         self.__superMenu.addSeparator()
         if not Globals.isWindowsPlatform():
             available = self.__mpyCrossAvailable()