Theia API Documentation v1.65.0
    Preparing search index...
    isTelemetryEnabled: boolean

    Indicates whether the users has telemetry enabled. Can be observed to determine if the extension should send telemetry.