[anjuta] Remove headers on plugin list

[Johannes Schmid <jhs src gnome org>]

commit c2a31c9cc85ca61190f8c39d2be9ef758bb51129
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,