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

    Interface DiagnosticChangeEvent

    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.