diff options
author | sharkdp <davidpeter@web.de> | 2018-05-07 22:26:06 +0200 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2018-05-07 23:27:38 +0200 |
commit | 438f3df34567448c915a262c47bf05cb67fcc884 (patch) | |
tree | 7aec63b514161e4c8b4b5554e9da0f80b956dcd0 | |
parent | 7e2e0c82ac44583119a5e61cd438b28e9f89d409 (diff) |
Paint STDOUT bold, unify writeln statement
-rw-r--r-- | src/printer.rs | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/src/printer.rs b/src/printer.rs index ddcfa133..6f046bb2 100644 --- a/src/printer.rs +++ b/src/printer.rs @@ -51,14 +51,12 @@ impl<'a> Printer<'a> { self.colors.grid.paint("│"), )?; - match filename { - None => { - writeln!(self.handle, "STDIN",)?; - } - Some(filename) => { - writeln!(self.handle, "File {}", self.colors.filename.paint(filename))?; - } - } + writeln!( + self.handle, + "{}{}", + filename.map_or("", |_| "File: "), + self.colors.filename.paint(filename.unwrap_or("STDIN")) + )?; self.print_horizontal_line('┼') } |