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

    Interface Options

    Options that control the behavior of side panels.

    interface Options {
        emptySize: number;
        expandDuration: number;
        expandThreshold: number;
        initialSizeRatio: number;
    }

    Hierarchy (View Summary)

    Index

    Properties

    emptySize expandDuration expandThreshold initialSizeRatio

    Properties

    emptySize: number

    How large the panel should be when it's expanded and empty.

    expandDuration: number

    The duration in milliseconds of the animation shown when a side panel is expanded. Set this to 0 to disable expansion animation.

    expandThreshold: number

    When a widget is being dragged and the distance of the mouse cursor to the shell border is below this threshold, the respective side panel is expanded so the widget can be dropped into that panel. Set this to -1 to disable expanding the side panel while dragging.

    initialSizeRatio: number

    The ratio of the available shell size to use as initial size for the side panel.

    Settings

    Member Visibility

    On This Page

    Properties