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")) |