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();
    }
    }

    Hierarchy (View Summary)

    Index

    Constructors

    Properties

    editorProvider: TextEditorProvider
    id: string = EditorPreviewWidgetFactory.ID

    The factory id.

    labelProvider: LabelProvider
    selectionService: SelectionService
    ID: string = 'editor-preview-widget'

    Methods

    • Parameters

      • uri: URI
      • Optionalcounter: number

      Returns string