/// /// import { Widget } from '@lumino/widgets'; import { UIOptionsWidgetInterface } from './UIOptionsWidgetInterface'; import { IUIOptions } from '../../../utils/api'; export declare class UIOptionsWidget extends Widget implements UIOptionsWidgetInterface { readonly AUTO_CLOSE_SELECTOR = "#auto_close"; readonly WIDE_CELLS_SELECTOR = "#wide_cells"; readonly IMPROVE_FONTS_SELECTOR = "#improve_fonts"; readonly SHOW_CATALOG_SELECTOR = "#show_catalog"; readonly AUTO_SAVE_SELECTOR = "#auto_save"; readonly UI_OPTIONS: { id: string; name: string; label: string; isLabSupported: boolean; }[]; readonly HTML_ELEMENT_TEMPLATE = "\n
\n
\n
\n"; get $node(): JQuery; constructor(isLab: boolean); onLoad(options: IUIOptions): void; protected onActivateRequest(): void; private prepareNode; private createCheckbox; private _updateSize; private optionsChangedHandler; private setWideCells; private setAutoClose; private setImproveFonts; private setShowCatalog; private setAutoSave; private _options; }