Theia API Documentation v1.65.0
    Preparing search index...
    interface Child {
        markers: Marker<Diagnostic>[];
        node: MarkerInfoNode;
    }
    Index

    Properties

    Properties

    markers: Marker<Diagnostic>[]