eric6/MicroPython/MicroPythonDevices.py

changeset 8067
a467ab075be0
parent 8062
8dc5acb30a8b
child 8072
58491f4c99d6
--- a/eric6/MicroPython/MicroPythonDevices.py	Thu Feb 04 14:35:50 2021 +0100
+++ b/eric6/MicroPython/MicroPythonDevices.py	Thu Feb 04 14:38:01 2021 +0100
@@ -360,8 +360,11 @@
         @return workspace directory used for saving files
         @rtype str
         """
-        return (Preferences.getMultiProject("Workspace") or
-                os.path.expanduser("~"))
+        return (
+            Preferences.getMicroPython("MpyWorkspace") or
+            Preferences.getMultiProject("Workspace") or
+            os.path.expanduser("~")
+        )
     
     def selectDeviceDirectory(self, deviceDirectories):
         """

eric ide

mercurial