[gedit-plugins] terminal: override signal instead of connect to it

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 992e04db6ad635533aead915fc0e51b14072fa61
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Fri May 24 15:35:06 2013 +0200

    terminal: override signal instead of connect to it

 plugins/terminal/terminal.py |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/plugins/terminal/terminal.py b/plugins/terminal/terminal.py
index 12604d7..d82d705 100644
--- a/plugins/terminal/terminal.py
+++ b/plugins/terminal/terminal.py
@@ -53,13 +53,13 @@ class GeditTerminal(Vte.Terminal):
         self.system_settings = Gio.Settings.new("org.gnome.desktop.interface")
         self.system_settings.connect("changed::monospace-font-name", self.font_changed)
 
-        self.connect("child-exited", self.on_child_exited)
-
         self.reconfigure_vte()
 
         self.fork_command_full(Vte.PtyFlags.DEFAULT, None, [Vte.get_user_shell()], None, 
GLib.SpawnFlags.SEARCH_PATH, None, None)
 
-    def on_child_exited(self):
+    def do_child_exited(self):
+        Vte.Terminal.do_child_exited(self)
+
         self._vte.fork_command_full(Vte.PtyFlags.DEFAULT, None, [Vte.get_user_shell()], None, 
GLib.SpawnFlags.SEARCH_PATH, None, None)
 
     def settings_try_new(self, schema):