diff -r 3cc19aec959a -r 6014d37d9683 eric6/MicroPython/MicroPythonReplWidget.py
--- 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,
