Protected
_Protected
_Protected
_Protected
deferredProtected
Readonly
envProtected
Readonly
fileProtected
Readonly
fsProtected
Readonly
labelProtected
loggerProtected
Readonly
messageProtected
Readonly
onProtected
Readonly
onProtected
Readonly
openProtected
Readonly
preferenceProtected
preferencesProtected
Readonly
rootProtected
Readonly
schemaProtected
Readonly
schemaProtected
Readonly
serverProtected
Readonly
toProtected
Readonly
untitledProtected
Readonly
windowProtected
Readonly
windowProtected
Readonly
workspaceReturns 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.
Protected
computeReturn 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.
Protected
doProtected
doProtected
doOptional
options: WorkspaceInputProtected
getResolves 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.
Protected
getProtected
getReturns 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
Protected
initOptional
withURI: URIOptional
candidate: URIProtected
ison 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.
Optional
options: WorkspaceInputProtected
openOptional
options: WorkspaceInputProtected
openOptional
options: WorkspaceInputOptional
options: WorkspaceInputProtected
refreshProtected
reloadOptional
options: WorkspaceInputProtected
setSet the URL fragment to the given workspace path.
Protected
setProtected
shouldOptional
options: WorkspaceInputProtected
toProtected
toProtected
updatethe property key under which to store the schema (e.g. tasks, launch)
Optional
schema: IJSONSchemathe schema for the property. If none is supplied, the update is treated as a deletion.
Protected
updateProtected
updateProtected
watchProtected
watchProtected
write
The workspace service.