import { TabPanel } from '@lumino/widgets'; import { Message } from '@lumino/messaging'; import { JVMOptionsModel, UIOptionsModel } from '../Models'; export declare class OptionsWidget extends TabPanel { private _models; constructor(isLab: boolean); get jvmOptionsModel(): JVMOptionsModel; get uiOptionsModel(): UIOptionsModel; processMessage(msg: Message): void; updateDimensions(): void; protected onAfterAttach(msg: Message): void; }