eric6/MicroPython/MicroPythonDevices.py

changeset 8067
a467ab075be0
parent 8062
8dc5acb30a8b
child 8072
58491f4c99d6
equal deleted inserted replaced
8066:1208cdae96b6 8067:a467ab075be0
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.

eric ide

mercurial