Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/workspace
browser/workspace-schema-updater
Module browser/workspace-schema-updater
Namespaces
AddKeyMessage
WorkspaceSchema
Classes
WorkspaceSchemaUpdater
Interfaces
SchemaUpdateMessage
Type Aliases
WorkspaceSchema
Variables
workspaceSchema
workspaceSchemaId
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Namespaces
Add
Key
Message
Workspace
Schema
Classes
Workspace
Schema
Updater
Interfaces
Schema
Update
Message
Type Aliases
Workspace
Schema
Variables
workspace
Schema
workspace
Schema
Id
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...