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

    The event that is fired when diagnostics change.

    interface DiagnosticChangeEvent {
        uris: readonly Uri[];
    }
    Index

    Properties

    Properties

    uris: readonly Uri[]

    An array of resources for which diagnostics have changed.