[gedit] Update plugins ui when selection changes

[Paolo Borelli <pborelli src gnome org>]

commit 4585957f669559838d77ea59a3bf0277542440c5
Author: Paolo Borelli <porelli gnome org>
Date:   Sat Aug 1 12:41:56 2009 +0200

    Update plugins ui when selection changes

 gedit/gedit-window.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gedit/gedit-window.c b/gedit/gedit-window.c
index 4c32113..ce490e9 100644
--- a/gedit/gedit-window.c
+++ b/gedit/gedit-window.c
@@ -3067,6 +3067,9 @@ selection_changed (GeditDocument *doc,
 				  state_normal &&
 				  editable &&
 				  gtk_text_buffer_get_has_selection (GTK_TEXT_BUFFER (doc)));
+
+	gedit_plugins_engine_update_plugins_ui (gedit_plugins_engine_get_default (),
+						 window);
 }
 
 static void