Options
All
  • Public
  • Public/Protected
  • All
Menu

Class PreferencesWidget

Hierarchy

  • Panel
    • PreferencesWidget

Implements

  • StatefulWidget

Index

Constructors

Properties

Accessors

Methods

Constructors

constructor

  • Construct a new panel.

    Parameters

    • Optional options: IOptions

      The options for initializing the panel.

    Returns PreferencesWidget

Properties

Protected Readonly editorWidget

editorWidget: PreferencesEditorWidget

Protected Readonly searchbarWidget

searchbarWidget: PreferencesSearchbarWidget

Protected Readonly tabBarWidget

tabBarWidget: PreferencesScopeTabBar

Protected Readonly treeWidget

treeWidget: PreferencesTreeWidget

Static Readonly ID

ID: "settings_widget" = 'settings_widget'

The widget id.

Static Readonly LABEL

LABEL: string = ...

The widget label which is used for display purposes.

Accessors

currentScope

Methods

Protected init

  • init(): void

Protected onActivateRequest

  • onActivateRequest(msg: Message): void

Protected onResize

  • onResize(msg: ResizeMessage): void

restoreState

  • restoreState(state: PreferencesWidgetState): void

setScope

  • setScope(scope: URI | User | Workspace): void

setSearchTerm

  • setSearchTerm(query: string): Promise<void>

storeState

  • storeState(): PreferencesWidgetState