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

    Interface OverridePreferenceName

    interface OverridePreferenceName {
        overrideIdentifier: string;
        preferenceName: string;
    }
    Index

    Properties

    overrideIdentifier preferenceName

    Properties

    overrideIdentifier: string
    preferenceName: string

    Settings

    Member Visibility

    On This Page

    Properties