[anjuta] plugin-manager: Directly use anjuta_plugin_deactivate in unload_all_plugins().

[Sebastien Granjoux <sgranjoux src gnome org>]

commit a0d14fcd368628937e7b4581904e35554bdf3b3b
Author: Carl-Anton Ingmarsson <ca ingmarsson gmail com>
Date:   Tue Nov 27 23:52:41 2012 +0100

    plugin-manager: Directly use anjuta_plugin_deactivate in unload_all_plugins().
    
    Instead of using plugin_set_update() which may show dialogs and does a lot more than
    we need when we deactivate all the plugins.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=689054

 libanjuta/anjuta-plugin-manager.c |   12 +++++++-----
 1 files changed, 7 insertions(+), 5 deletions(-)
---
diff --git a/libanjuta/anjuta-plugin-manager.c b/libanjuta/anjuta-plugin-manager.c
index 7dc5bb5..b2ce92c 100644
--- a/libanjuta/anjuta-plugin-manager.c
+++ b/libanjuta/anjuta-plugin-manager.c
@@ -572,12 +572,14 @@ anjuta_plugin_manager_unload_all_plugins (AnjutaPluginManager *plugin_manager)
 			for (node = priv->available_plugins; node; node = g_list_next (node))
 			{
 				AnjutaPluginHandle *selected_plugin = node->data;
-				if (g_hash_table_lookup (priv->activated_plugins, selected_plugin))
+				AnjutaPlugin *plugin;
+
+				plugin = g_hash_table_lookup (priv->activated_plugins, selected_plugin);
+				if (plugin)
 				{
-					plugin_set_update (plugin_manager, selected_plugin, FALSE);
-					/* DEBUG_PRINT ("Unloading plugin: %s",
-								 anjuta_plugin_handle_get_id (selected_plugin));
-					*/
+					DEBUG_PRINT ("Deactivating plugin: %s",
+					             anjuta_plugin_handle_get_id (selected_plugin));
+					anjuta_plugin_deactivate (plugin);
 				}
 			}
 			g_hash_table_remove_all (priv->activated_plugins);