From 279ebf55d6f1c263eacbacbe09860f788bbfa40b Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Fri, 20 Nov 2009 09:31:07 -0600 Subject: [PATCH] use the paned hoovering function introduced in revision 910 --- terminatorlib/terminal.py | 1 + 1 file changed, 1 insertion(+) diff --git a/terminatorlib/terminal.py b/terminatorlib/terminal.py index caeb841c..f82ea817 100755 --- a/terminatorlib/terminal.py +++ b/terminatorlib/terminal.py @@ -644,6 +644,7 @@ class Terminal(gtk.VBox): srcpaned.remove(widgetsrc) dstpaned.split_axis(dsthbox, pos in ['top', 'bottom'], widgetsrc) + srcpaned.hoover() def get_location(self, vte, x, y): """Get our location within the terminal"""