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

    Interface Options

    General options for the application shell. These are passed on construction and can be modified through dependency injection (ApplicationShellOptions symbol).

    interface Options {
        bottomPanel: BottomPanelOptions;
        leftPanel: SidePanel.Options;
        node?: HTMLElement;
        rightPanel: SidePanel.Options;
        tag?: keyof HTMLElementTagNameMap;
    }

    Hierarchy (View Summary)

    Index

    Properties

    bottomPanel leftPanel node? rightPanel tag?

    Properties

    bottomPanel: BottomPanelOptions
    leftPanel: SidePanel.Options
    node?: HTMLElement

    The optional node to use for the widget.

    If a node is provided, the widget will assume full ownership and control of the node, as if it had created the node itself.

    The default is a new <div>.

    rightPanel: SidePanel.Options
    tag?: keyof HTMLElementTagNameMap

    The optional element tag, used for constructing the widget's node.

    If a pre-constructed node is provided via the node arg, this value is ignored.

    Settings

    Member Visibility

    On This Page

    Properties