[no subject]

[Gavin D. Smith]

branch: master
commit 9dc9f4fd75f6d2274a39f44c645914476657c83c
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Fri Oct 18 19:23:37 2019 +0100

    hide header on sidebar
---
 js/infog/main.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/js/infog/main.c b/js/infog/main.c
index 947137186d..758b4cd3a4 100644
--- a/js/infog/main.c
+++ b/js/infog/main.c
@@ -518,6 +518,8 @@ build_gui (void)
   gtk_box_pack_start (box, GTK_WIDGET(paned), TRUE, TRUE, 0);
 
   toc_pane = GTK_TREE_VIEW(gtk_tree_view_new ());
+  gtk_tree_view_set_headers_visible (toc_pane, FALSE);
+
   gtk_paned_pack1 (paned, GTK_WIDGET(toc_pane), FALSE, TRUE);
 
   webView = WEBKIT_WEB_VIEW(webkit_web_view_new_with_settings(settings));