diff -r 1208cdae96b6 -r a467ab075be0 eric6/MicroPython/MicroPythonDevices.py --- 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): """