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

    Interface Options

    interface Options {
        pruneCollapsed: boolean;
        pruneSiblings: boolean;
    }
    Index

    Properties

    pruneCollapsed pruneSiblings

    Properties

    pruneCollapsed: boolean
    pruneSiblings: boolean

    Settings

    Member Visibility

    On This Page

    Properties