eric6/MicroPython/MicroPythonReplWidget.py

branch
micropython
changeset 7130
6014d37d9683
parent 7127
aa6fc2d252ad
child 7133
7aa4832b3730
equal deleted inserted replaced
7129:3cc19aec959a 7130:6014d37d9683
818 return portName 818 return portName
819 else: 819 else:
820 # return with device path prepended 820 # return with device path prepended
821 return "/dev/{0}".format(portName) 821 return "/dev/{0}".format(portName)
822 822
823 def getDeviceWorkspace(self):
824 """
825 Public method to get the workspace directory of the device.
826
827 @return workspace directory of the device
828 @rtype str
829 """
830 if self.__device:
831 return self.__device.getWorkspace()
832 else:
833 return ""
834
823 def __connectToDevice(self): 835 def __connectToDevice(self):
824 """ 836 """
825 Private method to connect to the selected device. 837 Private method to connect to the selected device.
826 """ 838 """
827 port = self.getCurrentPort() 839 port = self.getCurrentPort()
1028 return 1040 return
1029 1041
1030 if not self.__interface.isConnected(): 1042 if not self.__interface.isConnected():
1031 self.__connectToDevice() 1043 self.__connectToDevice()
1032 self.__fileManagerWidget = MicroPythonFileManagerWidget( 1044 self.__fileManagerWidget = MicroPythonFileManagerWidget(
1033 self.__interface, self) 1045 self.__interface, self.__device.supportsLocalFileAccess,
1046 self)
1034 1047
1035 self.__ui.addSideWidget(self.__ui.BottomSide, 1048 self.__ui.addSideWidget(self.__ui.BottomSide,
1036 self.__fileManagerWidget, 1049 self.__fileManagerWidget,
1037 UI.PixmapCache.getIcon("filemanager"), 1050 UI.PixmapCache.getIcon("filemanager"),
1038 self.tr("μPy Files")) 1051 self.tr("μPy Files"))

eric ide

mercurial