/// /// import { Widget } from '@lumino/widgets'; import { Message } from '@lumino/messaging'; import { OtherOptionsWidgetInterface } from './OtherOptionsWidgetInterface'; import { IOtherJVMOptions } from '../../../utils/api'; export declare class OtherOptionsWidget extends Widget implements OtherOptionsWidgetInterface { readonly ADD_BUTTON_SELECTOR = "#add_option_jvm_sett"; readonly PANEL_SELECTOR = "#other_property"; readonly HTML_ELEMENT_TEMPLATE = "\n
\n
\n
\n \n Other Command Line Options\n \n \n\n
\n \n
\n
\n
\n"; get $node(): JQuery; constructor(); private clear; onLoad(otherOptions: IOtherJVMOptions): void; private addOptionButtonClickedHandler; private createFormRowElement; private createInputElement; private createRemoveButtonElement; private addFormElement; processMessage(msg: Message): void; private onElementAdded; private onElementRemoved; private removeOptionButtonClickedHandler; private inputChangedHandler; private _options; private addOption; private removeOption; private changeOption; private optionsChanged; }