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: undefined | DiagnosticSeverity

        the first severity for comparison.

      • b: undefined | DiagnosticSeverity

        the second severity for comparison.

      Returns number