[anjuta] plugin-manager: Directly use anjuta_plugin_deactivate in unload_all_plugins().
- From: Sebastien Granjoux <sgranjoux src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [anjuta] plugin-manager: Directly use anjuta_plugin_deactivate in unload_all_plugins().
- Date: Thu, 29 Nov 2012 18:44:49 +0000 (UTC)
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);
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]