Protected_Protected_Protected_ProtecteddeferredProtected ReadonlyenvProtected ReadonlyfileProtected ReadonlyfsProtected ReadonlylabelProtectedloggerProtected ReadonlymessageProtected ReadonlyonProtected ReadonlyonProtected ReadonlyopenProtected ReadonlypreferenceProtectedpreferencesProtected ReadonlyrootProtected ReadonlyschemaProtected ReadonlyschemaProtected ReadonlyserverProtected ReadonlytoProtected ReadonlyuntitledProtected ReadonlywindowProtected ReadonlywindowProtected ReadonlyworkspaceReturns true if a multiple-root workspace is currently open.
Returns 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.
Clears current workspace root.
ProtectedcomputeReturn 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.
ProtecteddoProtecteddoProtecteddoOptionaloptions: WorkspaceInputProtectedgetResolves 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.
ProtectedgetProtectedgetReturns the relative path of the given file to the workspace root.
URI of the file
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
ProtectedinitOptionalwithURI: URIOptionalcandidate: URIProtectedison 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.
Optionaloptions: WorkspaceInputProtectedopenOptionaloptions: WorkspaceInputProtectedopenOptionaloptions: WorkspaceInputOptionaloptions: WorkspaceInputProtectedrefreshProtectedreloadOptionaloptions: WorkspaceInputProtectedsetSet the URL fragment to the given workspace path.
ProtectedsetProtectedshouldOptionaloptions: WorkspaceInputProtectedtoProtectedtoProtectedupdatethe property key under which to store the schema (e.g. tasks, launch)
Optionalschema: IJSONSchemathe schema for the property. If none is supplied, the update is treated as a deletion.
ProtectedupdateProtectedupdateProtectedwatchProtectedwatchProtectedwrite
The workspace service.