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

    Implements

    Index

    Constructors

    Properties

    frontendCounters: Map<string, string> = ...
    id: "theia/measurements" = 'theia/measurements'

    A unique sink ID containing at least two slash-separated segments.

    interests: readonly string[] = ...

    A non-empty list of valid telemetry topic patterns.

    metrics: string = ''
    scope: "local" | "remote" = 'local'

    Defaults to remote.

    Methods