Hide catalog header (useless)

diff --git a/src/genericgui/CatalogWidget.cxx b/src/genericgui/CatalogWidget.cxx
index a206af2fc58b011a67424decb2e2c635b55c4b37..63016deb7a22d78c84a39ab03eec28c85254ed5a 100644 (file)
--- a/src/genericgui/CatalogWidget.cxx
+++ b/src/genericgui/CatalogWidget.cxx
@@ -59,6 +59,7 @@ CatalogWidget::CatalogWidget(QWidget *parent,
   _dragModifier=false;
 
   setColumnCount(1);
+  setHeaderHidden( true );
 
   addCatalog(_builtinCatalog, "Built In");
   addCatalog(_sessionCatalog, "Current Session");