Add diagnostic source to diagnostic pickers (#13758)

This commit is contained in:
Roald Storm
2025-06-17 16:17:46 +02:00
committed by GitHub
parent e11794be37
commit 1491cbc8f3

View File

@@ -252,6 +252,9 @@ fn diag_picker(
.into()
},
),
ui::PickerColumn::new("source", |item: &PickerDiagnostic, _| {
item.diag.source.as_deref().unwrap_or("").into()
}),
ui::PickerColumn::new("code", |item: &PickerDiagnostic, _| {
match item.diag.code.as_ref() {
Some(NumberOrString::Number(n)) => n.to_string().into(),
@@ -263,12 +266,12 @@ fn diag_picker(
item.diag.message.as_str().into()
}),
];
let mut primary_column = 2; // message
let mut primary_column = 3; // message
if format == DiagnosticsFormat::ShowSourcePath {
columns.insert(
// between message code and message
2,
3,
ui::PickerColumn::new("path", |item: &PickerDiagnostic, _| {
if let Some(path) = item.location.uri.as_path() {
path::get_truncated_path(path)