eric6/MicroPython/MicroPythonReplWidget.py

branch
micropython
changeset 7127
aa6fc2d252ad
parent 7126
376deb7fefe7
child 7130
6014d37d9683
equal deleted inserted replaced
7126:376deb7fefe7 7127:aa6fc2d252ad
1051 self.__device.setFileManager(False) 1051 self.__device.setFileManager(False)
1052 self.__ui.removeSideWidget(self.__fileManagerWidget) 1052 self.__ui.removeSideWidget(self.__fileManagerWidget)
1053 1053
1054 self.__fileManagerWidget.deleteLater() 1054 self.__fileManagerWidget.deleteLater()
1055 self.__fileManagerWidget = None 1055 self.__fileManagerWidget = None
1056
1057 self.filesButton.setChecked(checked)
1056 1058
1057 ################################################################## 1059 ##################################################################
1058 ## Super Menu related methods below 1060 ## Super Menu related methods below
1059 ################################################################## 1061 ##################################################################
1060 1062

eric ide

mercurial