Make the choice of Paned slightly less pained
This commit is contained in:
parent
aadf44f893
commit
67753449a0
|
@ -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 ()
|
||||
|
|
Loading…
Reference in New Issue