gplugin/gplugin

Allow users to specify whether or not the headers are visible
feature/gplugin-gtk-view-cleanups
2019-11-07, Gary Kramlich
87f7617b34bf
Parents 4ec6b1dcbba3
Children 758a4592f5f8
Allow users to specify whether or not the headers are visible
--- a/gplugin-gtk/gplugin-gtk-view.c Wed Nov 06 21:08:17 2019 -0600
+++ b/gplugin-gtk/gplugin-gtk-view.c Thu Nov 07 20:36:16 2019 -0600
@@ -114,8 +114,6 @@
gtk_widget_set_has_tooltip(GTK_WIDGET(view), TRUE);
- gtk_tree_view_set_headers_visible(GTK_TREE_VIEW(view), FALSE);
-
/* create the first column */
col = gtk_tree_view_column_new();
gtk_tree_view_column_set_title(col, "Enabled");