use the paned hoovering function introduced in revision 910

2009-11-20 09:31:07 -06:00 · 2009-11-20 09:31:07 -06:00 · 279ebf55d6
parent 1db6a242b1
commit 279ebf55d6
1 changed files with 1 additions and 0 deletions
--- 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"""