From 7b7a5a32d67858b519958b8fb0cb1f14ef77b4f3 Mon Sep 17 00:00:00 2001
From: sharkdp <davidpeter@web.de>
Date: Tue, 24 Apr 2018 21:33:50 +0200
Subject: [PATCH] Update header

---
 src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.rs b/src/main.rs
index 00a33bee..c662299d 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -78,7 +78,7 @@ fn print_file<P: AsRef<Path>>(
 
     write!(
         handle,
-        "{}{} {}\n",
+        "{}{} File {}\n",
         " ".repeat(PANEL_WIDTH),
         Fixed(GRID_COLOR).paint("│"),
         White.bold().paint(filename.as_ref().to_string_lossy())