diff -r 02a40e8bd135 -r 011ae0edbcff src/eric7/MicroPython/Devices/DeviceBase.py
--- a/src/eric7/MicroPython/Devices/DeviceBase.py Wed Mar 29 11:32:06 2023 +0200
+++ b/src/eric7/MicroPython/Devices/DeviceBase.py Wed Mar 29 14:15:55 2023 +0200
@@ -341,6 +341,16 @@
or os.path.expanduser("~")
)
+ def setWorkspace(self, workspacePath):
+ """
+ Public method to set the device workspace directory.
+
+ @param workspacePath directory to be used for saving files
+ @type str
+ """
+ # nothing to do here
+ pass
+
def selectDeviceDirectory(self, deviceDirectories):
"""
Public method to select the device directory from a list of detected
