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

    Interface TerminalGroupLayoutData

    interface TerminalGroupLayoutData {
        childLayouts: TerminalWidgetLayoutData[];
        id: `group-${string}`;
        widgetRelativeHeights: undefined | number[];
    }

    Hierarchy (View Summary)

    Index

    Properties

    childLayouts id widgetRelativeHeights

    Properties

    childLayouts: TerminalWidgetLayoutData[]
    id: `group-${string}`
    widgetRelativeHeights: undefined | number[]

    Settings

    Member Visibility

    On This Page

    Properties