Theia API Documentation v1.65.0
    Preparing search index...

    A WidgetFactory is used to create new widgets. Factory-specific information (options) can be passed as serializable JSON data. The common WidgetManager collects WidgetFactory contributions and delegates to the corresponding factory when a widget should be created or restored. To identify widgets the WidgetManager uses a description composed of the factory id and the options. The WidgetFactory does support both, synchronous and asynchronous widget creation.

    export class MyWidget extends BaseWidget {
    }

    @injectable()
    export class MyWidgetFactory implements WidgetFactory {
    id = 'myWidgetFactory';

    createWidget(): MaybePromise<Widget> {
    return new MyWidget();
    }
    }

    Implements

    Index

    Constructors

    Properties

    id: string = 'outline-view'

    The factory id.

    onDidChangeOpenStateEmitter: Emitter<boolean> = ...
    onDidChangeOutlineEmitter: Emitter<OutlineSymbolInformationNode[]> = ...
    onDidOpenEmitter: Emitter<OutlineSymbolInformationNode> = ...
    onDidSelectEmitter: Emitter<OutlineSymbolInformationNode> = ...
    onDidTapNodeEmitter: Emitter<OutlineSymbolInformationNode> = ...

    Accessors

    Methods