Theia API Documentation v1.72.1
Eclipse Theia Website
GitHub
Preparing search index...
@theia/dev-container
electron-common/dev-container-preferences
Module electron-common/dev-container-preferences
Interfaces
DevContainerPreferenceConfiguration
Type Aliases
DevContainerPreferences
Variables
DevContainerPreferenceContribution
DevContainerPreferences
DevContainerPreferenceSchema
Functions
bindDevContainerPreferences
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Interfaces
Dev
Container
Preference
Configuration
Type Aliases
Dev
Container
Preferences
Variables
Dev
Container
Preference
Contribution
Dev
Container
Preferences
Dev
Container
Preference
Schema
Functions
bind
Dev
Container
Preferences
Eclipse Theia Website
GitHub
Theia API Documentation v1.72.1
Loading...