Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/workspace
common/workspace-preferences
Module common/workspace-preferences
Interfaces
WorkspaceConfiguration
Type Aliases
WorkspacePreferences
Variables
WorkspacePreferenceContribution
WorkspacePreferences
workspacePreferenceSchema
Functions
bindWorkspacePreferences
createWorkspacePreferences
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Interfaces
Workspace
Configuration
Type Aliases
Workspace
Preferences
Variables
Workspace
Preference
Contribution
Workspace
Preferences
workspace
Preference
Schema
Functions
bind
Workspace
Preferences
create
Workspace
Preferences
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...