Mercurial Repositories > eric / file diff
diff: eric6/MicroPython/MicroPythonReplWidget.py
eric6/MicroPython/MicroPythonReplWidget.py
- branch
- micropython
- changeset 7127
- aa6fc2d252ad
- parent 7126
- 376deb7fefe7
- child 7130
- 6014d37d9683
diff -r 376deb7fefe7 -r aa6fc2d252ad eric6/MicroPython/MicroPythonReplWidget.py --- 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
