Theia API Documentation v1.65.0
    Preparing search index...
    interface SplitPositionOptions {
        duration: number;
        referenceWidget?: Widget;
        side?: "bottom" | "left" | "right" | "top";
    }

    Hierarchy (View Summary)

    Index

    Properties

    duration: number

    The duration in milliseconds, or 0 for no animation.

    referenceWidget?: Widget

    When this widget is hidden, the animation is canceled.

    side?: "bottom" | "left" | "right" | "top"

    The side of the side panel that shall be resized.