Options
All
  • Public
  • Public/Protected
  • All
Menu

Namespace FrontendApplicationPreferenceConfig

Specialized {@link FrontendApplicationConfig} to configure default preference values for the PreferenceSchemaProvider.

Indexable

[key: string]: any

Specialized {@link FrontendApplicationConfig} to configure default preference values for the PreferenceSchemaProvider.

Index

Properties

Readonly applicationName

applicationName: string

The name of the application. Eclipse Theia by default.

Readonly defaultIconTheme

defaultIconTheme: string

The default icon theme for the application. If not given, defaults to none. If invalid theme is given, also defaults to none.

Readonly defaultTheme

defaultTheme: string

The default theme for the application. If not given, defaults to dark. If invalid theme is given, also defaults to dark.

Optional Readonly electron

electron: Readonly<ElectronFrontendApplicationConfig>

Electron specific configuration.

preferences

preferences: {}

Type declaration

  • [preferenceName: string]: any

Functions

is

  • is(config: FrontendApplicationConfig): config is FrontendApplicationPreferenceConfig