[gedit-plugins] Grab focus in the terminal widget

[Paolo Borelli <pborelli src gnome org>]

commit 7173b157a8cc78c069a65336bbc38438f5a48407
Author: Paolo Borelli <porelli gnome org>
Date:   Sun Jul 26 18:00:28 2009 +0200

    Grab focus in the terminal widget

 plugins/terminal/terminal.py |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/plugins/terminal/terminal.py b/plugins/terminal/terminal.py
index b5e1ab2..7a63ab3 100644
--- a/plugins/terminal/terminal.py
+++ b/plugins/terminal/terminal.py
@@ -96,6 +96,9 @@ class GeditTerminal(gtk.HBox):
 
         self._vte.fork_command()
 
+    def do_grab_focus(self):
+        self._vte.grab_focus()
+
     def reconfigure_vte(self):
         # Fonts
         if gconf_get_bool(self.GCONF_PROFILE_DIR + "/use_system_font"):