358 Public method to get the workspace directory. |
358 Public method to get the workspace directory. |
359 |
359 |
360 @return workspace directory used for saving files |
360 @return workspace directory used for saving files |
361 @rtype str |
361 @rtype str |
362 """ |
362 """ |
363 return (Preferences.getMultiProject("Workspace") or |
363 return ( |
364 os.path.expanduser("~")) |
364 Preferences.getMicroPython("MpyWorkspace") or |
|
365 Preferences.getMultiProject("Workspace") or |
|
366 os.path.expanduser("~") |
|
367 ) |
365 |
368 |
366 def selectDeviceDirectory(self, deviceDirectories): |
369 def selectDeviceDirectory(self, deviceDirectories): |
367 """ |
370 """ |
368 Public method to select the device directory from a list of detected |
371 Public method to select the device directory from a list of detected |
369 ones. |
372 ones. |