Theia API Documentation v1.65.0
    Preparing search index...
    • Comparator for severity.

      • The highest severity (error) come first followed by others.
      • undefined severities are treated as the last ones.

      Parameters

      • a: Marker<Diagnostic>

        the first marker for comparison.

      • b: Marker<Diagnostic>

        the second marker for comparison.

      Returns number