Theia API Documentation v1.65.0
    Preparing search index...
    • Set the box panel size basis for the given widget.

      Parameters

      • widget: Widget

        The widget of interest.

      • value: number

        The value for the size basis.

      Returns void