Don't show the header widget in bufferviews

This just wastes valuable space and looks ugly.

diff --git a/src/uisupport/bufferview.cpp b/src/uisupport/bufferview.cpp
index e477ba1..30007d9 100644 (file)
--- a/src/uisupport/bufferview.cpp
+++ b/src/uisupport/bufferview.cpp
@@ -67,6 +67,8 @@ void BufferView::init() {
   setIndentation(10);
   expandAll();
 
+  header()->hide(); // nobody seems to use this anyway
+
   setAnimated(true);
 
 #ifndef QT_NO_DRAGANDDROP