Returns true if there is an opened workspace, and multi root workspace support is enabled.
Returns true if a multiple-root workspace is currently open.
Returns true if theia has an opened workspace or 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.
Get the path of the workspace to use initially.
Resolves to the default workspace URI as string.
The default implementation tries to extract the default workspace location
from the 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 undefined.
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, undefined.
returns a FileStat if the argument URI points to an existing directory. Otherwise, undefined.
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.
The workspace service.