Hierarchy

  • BaseWidget
    • PreferencesEditorWidget

Implements

  • StatefulWidget

Constructors

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: DebouncedFuncLeading<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