[geany/geany] a13b03: Hide column headers in plugin manager dialog

Colomban Wendling git-noreply at xxxxx
Thu May 1 01:18:04 UTC 2014


Branch:      refs/heads/master
Author:      Colomban Wendling <ban at herbesfolles.org>
Committer:   Colomban Wendling <ban at herbesfolles.org>
Date:        Thu, 01 May 2014 01:18:04 UTC
Commit:      a13b033d424bd25d013518d4c18d20eb681042f4
             https://github.com/geany/geany/commit/a13b033d424bd25d013518d4c18d20eb681042f4

Log Message:
-----------
Hide column headers in plugin manager dialog

They are not very useful and waste both vertical (the headers
themselves) and horizontal (first column wider because of title)
screen space.


Modified Paths:
--------------
    src/plugins.c

Modified: src/plugins.c
1 lines changed, 1 insertions(+), 0 deletions(-)
===================================================================
@@ -1374,6 +1374,7 @@ static void pm_prepare_treeview(GtkWidget *tree, GtkListStore *store)
 
 	g_signal_connect(tree, "query-tooltip", G_CALLBACK(pm_treeview_query_tooltip), NULL);
 	gtk_widget_set_has_tooltip(tree, TRUE);
+	gtk_tree_view_set_headers_visible(GTK_TREE_VIEW(tree), FALSE);
 
 	checkbox_renderer = gtk_cell_renderer_toggle_new();
 	column = gtk_tree_view_column_new_with_attributes(



--------------
This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).


More information about the Commits mailing list