RoloEdits 2025-07-18 12:01:21 -07:00 committed by GitHub
commit 0cba5844cc
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 {
hint: cx.editor.theme.get("hint"),
info: cx.editor.theme.get("info"),