fix(graphical): Format entire link instead of just name (#389)

This commit is contained in:
Jonathan Dygert 2024-07-11 19:04:28 -04:00 committed by GitHub
parent bdd1d74614
commit bf5aa3742f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 8 additions and 5 deletions

View File

@ -568,13 +568,16 @@ impl GraphicalReportHandler {
};
if let Some(source_name) = primary_contents.name() {
let source_name = source_name.style(self.theme.styles.link);
writeln!(
f,
"[{}:{}:{}]",
source_name,
primary_contents.line() + 1,
primary_contents.column() + 1
"[{}]",
format_args!(
"{}:{}:{}",
source_name,
primary_contents.line() + 1,
primary_contents.column() + 1
)
.style(self.theme.styles.link)
)?;
} else if lines.len() <= 1 {
writeln!(f, "{}", self.theme.characters.hbar.to_string().repeat(3))?;