The workspace service.
true if a multiple-root workspace is currently open.
true if theia has an opened workspace or folder
true if the current workspace is configured using a configuration file.
false if there is no workspace or the workspace is simply a folder.
Adds root folder(s) to the workspace
URI or URIs of the root folder(s) to add
Clears current workspace root.
Return true if one of the paths in paths array is present in the workspace
NOTE: You should always explicitly use
/ as the separator between the path segments.
Resolves to the default workspace URI as string.
The default implementation tries to extract the default workspace location
window.location.hash, then falls-back to the most recently
used workspace root from the server.
It is not ensured that the resolved workspace URI is valid, it can point to a non-existing location.
Returns the workspace root uri that the given file belongs to.
In case that the file is found in more than one workspace roots, returns the root that is closest to the file.
If the file is not from the current workspace, returns
URI of the file
Check if the file should be considered as a workspace file.
Example: We should not try to read the contents of an .exe file.
on unload, we set our workspace root as the last recently used on the backend.
Opens directory, or recreates a workspace from the file that
uri points to.
Removes root folder(s) from workspace.
Save workspace data into a file
URI or FileStat of the workspace file
Set the URL fragment to the given workspace path.
returns a FileStat if the argument URI points to a file or directory. Otherwise,
returns a FileStat if the argument URI points to an existing directory. Otherwise,
the property key under which to store the schema (e.g. tasks, launch)
the schema for the property. If none is supplied, the update is treated as a deletion.