Sat, 10 Aug 2019 13:51:09 +0200
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