[libpeas] [PluginManager] Fix pref button sensitivity not being updated correctly

[Steve Frécinaux <sfre src gnome org>]

commit 9e23d51c7a37aca3918f575829c1fe3c2f54a35c
Author: Garrett Regier <alias301 gmail com>
Date:   Thu Jun 3 09:40:43 2010 -0700

    [PluginManager] Fix pref button sensitivity not being updated correctly
    
    If you clicked quickly you could cause the plugin to be deactivated but
    have the configure button sensitive.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=620453
    https://bugzilla.gnome.org/show_bug.cgi?id=620499

 libpeasui/peas-ui-plugin-manager.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/libpeasui/peas-ui-plugin-manager.c b/libpeasui/peas-ui-plugin-manager.c
index ac742cb..d2a6361 100644
--- a/libpeasui/peas-ui-plugin-manager.c
+++ b/libpeasui/peas-ui-plugin-manager.c
@@ -417,6 +417,9 @@ plugin_manager_set_active (PeasUIPluginManager *pm,
         res = FALSE;
     }
 
+  /* cause the configure button sensitivity to be updated */
+  cursor_changed_cb (GTK_TREE_VIEW (pm->priv->tree), pm);
+
   return res;
 }