diff options
author | Wilfred Hughes <me@wilfred.me.uk> | 2023-08-15 21:33:11 -0700 |
---|---|---|
committer | Wilfred Hughes <me@wilfred.me.uk> | 2023-08-15 21:33:11 -0700 |
commit | a43b9ae9ebf197a718bb1688e09013a920466532 (patch) | |
tree | 38141aa96a2f60e881f5dbf44ec319fab6f581dd | |
parent | e1f97e614fda1b34e37557da246eaf2613f5afcb (diff) |
Dim the extra information section in hunks
-rw-r--r-- | src/display/style.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/display/style.rs b/src/display/style.rs index efca5dde1..9ecfca071 100644 --- a/src/display/style.rs +++ b/src/display/style.rs @@ -477,6 +477,11 @@ pub fn header( match extra_info { Some(extra_info) if hunk_num == 1 => { + let mut extra_info = extra_info.clone(); + if display_options.use_color { + extra_info = extra_info.dimmed().to_string(); + } + format!("{}{}\n{}", display_path_pretty, trailer, extra_info) } _ => { |