Spotted some unevenness in the initial position of new splits. This fixes it to 50:50

This commit is contained in:
Stephen Boddy 2012-06-25 20:01:35 +02:00
parent b6a75be607
commit cbb86c48c5
2 changed files with 14 additions and 0 deletions

View File

@ -43,6 +43,8 @@ class Paned(Container):
container = VPaned()
else:
container = HPaned()
self.get_toplevel().set_pos_by_ratio = True
if not sibling:
sibling = self.maker.make('terminal')
@ -60,6 +62,11 @@ class Paned(Container):
container.add(terminal)
self.show_all()
while gtk.events_pending():
gtk.main_iteration_do(False)
self.get_toplevel().set_pos_by_ratio = False
def add(self, widget, metadata=None):
"""Add a widget to the container"""

View File

@ -419,6 +419,8 @@ class Window(Container, gtk.Window):
container = maker.make('VPaned')
else:
container = maker.make('HPaned')
self.set_pos_by_ratio = True
if not sibling:
sibling = maker.make('Terminal')
@ -434,6 +436,11 @@ class Window(Container, gtk.Window):
for term in order:
container.add(term)
container.show_all()
while gtk.events_pending():
gtk.main_iteration_do(False)
self.set_pos_by_ratio = False
def zoom(self, widget, font_scale=True):
"""Zoom a terminal widget"""