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

    fileNavigatorWidgetOptions: ViewContainer.Factory.WidgetOptions = ...
    id: string = NavigatorWidgetFactory.ID

    The factory id.

    openEditorsWidgetOptions: ViewContainer.Factory.WidgetOptions = ...
    viewContainerFactory: ViewContainer.Factory
    widgetManager: WidgetManager
    ID: string = EXPLORER_VIEW_CONTAINER_ID

    Methods