pull/13806/merge
RoloEdits 2025-07-24 14:36:52 -03:00 committed by GitHub
commit a6888c1cb7
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 7 additions and 0 deletions

View File

@ -231,6 +231,13 @@ fn diag_picker(
} }
} }
flat_diag.sort_by(|a, b| {
a.diag
.severity
.unwrap_or(lsp::DiagnosticSeverity::HINT)
.cmp(&b.diag.severity.unwrap_or(lsp::DiagnosticSeverity::HINT))
});
let styles = DiagnosticStyles { let styles = DiagnosticStyles {
hint: cx.editor.theme.get("hint"), hint: cx.editor.theme.get("hint"),
info: cx.editor.theme.get("info"), info: cx.editor.theme.get("info"),