diff -r 7aa4832b3730 -r 21d23ca51680 eric6/MicroPython/MicroPythonFileManagerWidget.py
--- a/eric6/MicroPython/MicroPythonFileManagerWidget.py Mon Aug 12 14:55:08 2019 +0200
+++ b/eric6/MicroPython/MicroPythonFileManagerWidget.py Tue Aug 13 15:51:35 2019 +0200
@@ -105,6 +105,7 @@
self.deviceFileTreeWidget.customContextMenuRequested.connect(
self.__showDeviceContextMenu)
+ # TODO: add entry to show hidden files
self.__localMenu = QMenu(self)
self.__localMenu.addAction(self.tr("Change Directory"),
self.__changeLocalDirectory)
@@ -116,6 +117,7 @@
self.__localDelFileAct = self.__localMenu.addAction(
self.tr("Delete File"), self.__deleteLocalFile)
+ # TODO: add entry to show hidden files
self.__deviceMenu = QMenu(self)
if not self.__repl.isMicrobit():
self.__deviceMenu.addAction(
