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

    Interface PrepareLoadedManifestOptions

    interface PrepareLoadedManifestOptions {
        updateActivationEvents?: boolean;
    }
    Index

    Properties

    updateActivationEvents?

    Properties

    updateActivationEvents?: boolean
    true

    Settings

    Member Visibility

    On This Page

    Properties