Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

  • BaseWidget
    • PreferencesEditorWidget

Implements

  • StatefulWidget

Index

Constructors

  • Parameters

    • Optional options: IOptions

    Returns PreferencesEditorWidget

Properties

commonlyUsedRenderers: Map<string, GeneralPreferenceNodeRenderer> = ...
currentModelSelectionId: string = ''

Guards against scroll events and selection events looping into each other. Set before this widget initiates a selection.

firstVisibleChildID: string = ''
isAtScrollTop: boolean = true
lastUserSelection: string = ''

Permits the user to expand multiple nodes without each one being collapsed on a new selection.

onScroll: DebouncedFunc<any> = ...
preferenceDataKeys: Map<string, string> = ...
preferenceService: PreferenceService
renderers: Map<string, GeneralPreferenceNodeRenderer> = ...
schemaProvider: PreferenceSchemaProvider
scrollContainer: HTMLDivElement
scrollOptions: Options = DEFAULT_SCROLL_OPTIONS
ID: "settings.editor" = 'settings.editor'
LABEL: "Settings Editor" = 'Settings Editor'

Methods

  • areLeavesVisible(): boolean
  • createContainers(): void
  • doInit(): Promise<void>
  • doOnScroll(): void
  • doResetScroll(nodeIDToScrollTo?: string, filterWasCleared?: boolean): void
  • findFirstVisibleChildID(): undefined | string
  • getScrollContainer(): HTMLElement
  • handlePreferenceChanges(e: PreferenceChanges): void
  • handleRegistryChange(): void
  • handleSchemaChange(isFiltered: boolean): void
  • handleScopeChange(isFiltered?: boolean): void
  • handleSearchChange(isFiltered: boolean, leavesAreVisible: boolean): void
  • handleSelectionChange(selectionEvent: readonly Readonly<SelectableTreeNode>[]): void
  • init(): void
  • resetScroll(nodeIDToScrollTo?: string, filterWasCleared?: boolean): void
  • setFirstVisibleChildID(id?: string): void