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

    Interface CombinedMultiDiffSpacers

    interface CombinedMultiDiffSpacers {
        modifiedSides: ModifiedSideSpacers[];
        originalSpacers: number[];
    }
    Index

    Properties

    modifiedSides originalSpacers

    Properties

    modifiedSides: ModifiedSideSpacers[]
    originalSpacers: number[]

    Settings

    Member Visibility

    On This Page

    Properties