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

    Interface EditorOpenerOptions

    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 EditorOpenerOptions {
        counter?: number;
        mode?: WidgetOpenMode;
        preview?: boolean;
        revealOption?: "auto" | "center" | "centerIfOutsideViewport";
        selection?: RecursivePartial<Range>;
        widgetOptions?: ApplicationShell.WidgetOptions;
    }

    Hierarchy (View Summary)

    Index

    Properties

    counter? mode? preview? revealOption? selection? widgetOptions?

    Properties

    counter?: number
    mode?: WidgetOpenMode

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

    preview?: boolean
    revealOption?: "auto" | "center" | "centerIfOutsideViewport"
    selection?: RecursivePartial<Range>
    widgetOptions?: ApplicationShell.WidgetOptions

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

    Settings

    Member Visibility

    On This Page

    Properties