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

    WidgetOpenerOptions define generic options used by the WidgetOpenHandler.

    Note: This object may contain references to widgets (e.g. widgetOptions.ref); these need to be transformed before it can be serialized.

    interface TaskTerminalWidgetOpenerOptions {
        mode?: WidgetOpenMode;
        taskConfig?: TaskConfiguration;
        taskInfo?: TaskInfo;
        widgetOptions?: ApplicationShell.WidgetOptions;
    }

    Hierarchy (View Summary)

    Index

    Properties

    Determines whether the widget should be only opened, revealed or activated. By default is activate.

    taskConfig?: TaskConfiguration
    taskInfo?: TaskInfo

    Specify how an opened widget should be added to the shell. By default to the main area.