Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/vsx-registry
common/recommended-extensions-preference-contribution
Module common/recommended-extensions-preference-contribution
Interfaces
RecommendedExtensions
Variables
ExtensionNotificationPreferences
extensionsSchemaID
IGNORE_RECOMMENDATIONS_ID
recommendedExtensionNotificationPreferencesSchema
recommendedExtensionsPreferencesSchema
Functions
bindExtensionPreferences
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Interfaces
Recommended
Extensions
Variables
Extension
Notification
Preferences
extensions
Schema
ID
IGNORE_
RECOMMENDATIONS_
ID
recommended
Extension
Notification
Preferences
Schema
recommended
Extensions
Preferences
Schema
Functions
bind
Extension
Preferences
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...