MicroPythonReplWidget: fixed an issue resetting the files button on disconnect. micropython

Sat, 10 Aug 2019 13:51:09 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sat, 10 Aug 2019 13:51:09 +0200
branch
micropython
changeset 7127
aa6fc2d252ad
parent 7126
376deb7fefe7
child 7128
0d72ed127335

MicroPythonReplWidget: fixed an issue resetting the files button on disconnect.

eric6/MicroPython/MicroPythonReplWidget.py file | annotate | diff | comparison | revisions
--- 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

eric ide

mercurial