Protected
Readonly
cliProtected
Readonly
envProtected
rootProtected
Readonly
untitledProtected
untitledProtected
Readonly
workspaceProtected
doProtected
getProtected
getProtected
getProtected
initProtected
readProtected
readReads the most recently used workspace root from the user's home directory.
Protected
removeProtected
workspaceProtected
writeProtected
writeWrites the given uri as the most recently used workspace root to the user's home directory.
Untitled workspaces that are not among the most recent N workspaces will be deleted on start. Increase this number to keep older files, lower it to delete stale untitled workspaces more aggressively.