itdominator
/
terminator
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix resizing so you can actually make the widget smaller

This commit is contained in:
Chris Jones 2007-07-29 03:16:18 +01:00
parent cc53215ea0
commit e30bc9c689
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
terminator.py
View File

@ -321,8 +321,8 @@ class Terminator:
termwidth = parent.allocation.width / 2 termwidth = parent.allocation.width / 2
widget.get_box ().reparent (pane) widget.get_box ().reparent (pane)
pane.pack1 (widget.get_box (), True, False) pane.pack1 (widget.get_box (), True, True)
pane.pack2 (term2.get_box (), True, False) pane.pack2 (term2.get_box (), True, True)
parent.add (pane) parent.add (pane)
pane.set_position (termwidth) pane.set_position (termwidth)
@ -337,13 +337,13 @@ class Terminator:
if (widget.get_box () == parent.get_child1 ()): if (widget.get_box () == parent.get_child1 ()):
widget.get_box ().reparent (pane) widget.get_box ().reparent (pane)
parent.pack1 (pane, True, False) parent.pack1 (pane, True, True)
else: else:
widget.get_box ().reparent (pane) widget.get_box ().reparent (pane)
parent.pack2(pane, True, False) parent.pack2(pane, True, True)
pane.pack1 (widget.get_box (), True, False) pane.pack1 (widget.get_box (), True, True)
pane.pack2 (term2.get_box (), True, False) pane.pack2 (term2.get_box (), True, True)
parent.show_all () parent.show_all ()
return (term2) return (term2)
@ -359,8 +359,8 @@ class Terminator:
termheight = parent.allocation.height / 2 termheight = parent.allocation.height / 2
widget.get_box ().reparent (pane) widget.get_box ().reparent (pane)
pane.pack1 (widget.get_box (), True, False) pane.pack1 (widget.get_box (), True, True)
pane.pack2 (term2.get_box (), True, False) pane.pack2 (term2.get_box (), True, True)
parent.add (pane) parent.add (pane)
pane.set_position (termheight) pane.set_position (termheight)
@ -375,13 +375,13 @@ class Terminator:
if (widget.get_box () == parent.get_child1 ()): if (widget.get_box () == parent.get_child1 ()):
widget.get_box ().reparent (pane) widget.get_box ().reparent (pane)
parent.pack1 (pane, True, False) parent.pack1 (pane, True, True)
else: else:
widget.get_box ().reparent (pane) widget.get_box ().reparent (pane)
parent.pack2(pane, True, False) parent.pack2(pane, True, True)
pane.pack1 (widget.get_box (), True, False) pane.pack1 (widget.get_box (), True, True)
pane.pack2 (term2.get_box (), True, False) pane.pack2 (term2.get_box (), True, True)
parent.show_all () parent.show_all ()
return (term2) return (term2)