[anjuta/gnome-3-0] Remove headers on plugin list

[Johannes Schmid <jhs src gnome org>]

commit 918a17f1af215cba17d056441fe5d6f73e1af662
Author: Christian Hergert <chris dronelabs com>
Date:   Thu Mar 24 20:03:38 2011 -0700

    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 <chris dronelabs com>
    
    https://bugzilla.gnome.org/show_bug.cgi?id=645659

 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,