[gedit] tools: use new closed signal instead of hide

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 2b283e38814bf3c4f1be2e533ffacd6f2af128f5
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Tue Feb 18 09:03:38 2014 +0100

    tools: use new closed signal instead of hide

 plugins/externaltools/tools/manager.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/externaltools/tools/manager.py b/plugins/externaltools/tools/manager.py
index 528fe67..92e686a 100644
--- a/plugins/externaltools/tools/manager.py
+++ b/plugins/externaltools/tools/manager.py
@@ -858,6 +858,6 @@ class Manager(GObject.Object):
     def on_languages_button_clicked(self, button):
         popup = LanguagesPopup(button, self.current_node.languages)
         popup.show()
-        popup.connect('hide', self.update_languages)
+        popup.connect('closed', self.update_languages)
 
 # ex:et:ts=4: