Format entire link instead of just name

This commit is contained in:
Jonathan Dygert 2024-07-10 16:27:37 -04:00
parent bdd1d74614
commit ada0124494
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))?;