From 67753449a0b418feea15ef44102981e858407483 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Tue, 26 May 2009 11:27:26 +0200 Subject: [PATCH] Make the choice of Paned slightly less pained --- terminatorlib/terminator.py | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/terminatorlib/terminator.py b/terminatorlib/terminator.py index 719d5a02..611447c3 100755 --- a/terminatorlib/terminator.py +++ b/terminatorlib/terminator.py @@ -579,8 +579,15 @@ class Terminator: """ Add a term to another at position pos """ - vertical = pos in ("top", "bottom") - pane = (vertical) and gtk.VPaned () or gtk.HPaned () + if pos in ("top", "bottom"): + pane = gtk.VPaned() + vertical = True + elif pos in ("left", "right"): + pane = gtk.HPaned() + vertical = False + else: + err('Terminator.add: massive pos fail: %s' % pos) + return # get the parent of the provided terminal parent = widget.get_parent ()