--- a/eric6/MicroPython/MicroPythonReplWidget.py Sat Aug 10 20:05:50 2019 +0200 +++ b/eric6/MicroPython/MicroPythonReplWidget.py Sat Aug 10 20:06:37 2019 +0200 @@ -820,6 +820,18 @@ # return with device path prepended return "/dev/{0}".format(portName) + def getDeviceWorkspace(self): + """ + Public method to get the workspace directory of the device. + + @return workspace directory of the device + @rtype str + """ + if self.__device: + return self.__device.getWorkspace() + else: + return "" + def __connectToDevice(self): """ Private method to connect to the selected device. @@ -1030,7 +1042,8 @@ if not self.__interface.isConnected(): self.__connectToDevice() self.__fileManagerWidget = MicroPythonFileManagerWidget( - self.__interface, self) + self.__interface, self.__device.supportsLocalFileAccess, + self) self.__ui.addSideWidget(self.__ui.BottomSide, self.__fileManagerWidget,