>From a2d2004d8f53078b5450a67df21035c8e3372926 Mon Sep 17 00:00:00 2001 From: Christian Hergert Date: Thu, 24 Mar 2011 20:03:38 -0700 Subject: [PATCH 06/10] Remove headers on plugin list The plugin list headers provide nothing that isn't completely obvious to the user. Additionally, it wastes space and detracts from what the user is trying to do, enable or disable plugins. Signed-off-by: Christian Hergert --- libanjuta/anjuta-plugin-manager.c | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/libanjuta/anjuta-plugin-manager.c b/libanjuta/anjuta-plugin-manager.c index 434ee1c..5d53489 100644 --- a/libanjuta/anjuta-plugin-manager.c +++ b/libanjuta/anjuta-plugin-manager.c @@ -1166,6 +1166,7 @@ anjuta_plugin_manager_get_plugins_page (AnjutaPluginManager *plugin_manager) gtk_box_pack_start (GTK_BOX (vbox), scrolled, TRUE, TRUE, 0); tree = create_plugin_tree (); + gtk_tree_view_set_headers_visible (GTK_TREE_VIEW (tree), FALSE); store = GTK_LIST_STORE (gtk_tree_view_get_model (GTK_TREE_VIEW (tree))); populate_plugin_model (plugin_manager, store, NULL, -- 1.7.4.1