--- a/eric6/MicroPython/MicroPythonReplWidget.py	Wed Aug 07 16:10:12 2019 +0200
+++ b/eric6/MicroPython/MicroPythonReplWidget.py	Sat Aug 10 13:51:09 2019 +0200
@@ -1053,6 +1053,8 @@
             
             self.__fileManagerWidget.deleteLater()
             self.__fileManagerWidget = None
+        
+        self.filesButton.setChecked(checked)
     
     ##################################################################
     ## Super Menu related methods below