(trunk-1609) Fix minor issue with Super+double-click on a splitter failing if tabs were in use
This commit is contained in:
parent
03947c7b50
commit
cfd4539a4a
|
@ -154,6 +154,7 @@ class Paned(Container):
|
||||||
|
|
||||||
def do_redistribute(self, recurse_up=False, recurse_down=False):
|
def do_redistribute(self, recurse_up=False, recurse_down=False):
|
||||||
"""Evenly divide available space between sibling panes"""
|
"""Evenly divide available space between sibling panes"""
|
||||||
|
maker = Factory()
|
||||||
#1 Find highest ancestor of the same type => ha
|
#1 Find highest ancestor of the same type => ha
|
||||||
highest_ancestor = self
|
highest_ancestor = self
|
||||||
while type(highest_ancestor.get_parent()) == type(highest_ancestor):
|
while type(highest_ancestor.get_parent()) == type(highest_ancestor):
|
||||||
|
@ -162,7 +163,8 @@ class Paned(Container):
|
||||||
# (1b) If Super modifier, redistribute higher sections too
|
# (1b) If Super modifier, redistribute higher sections too
|
||||||
if recurse_up:
|
if recurse_up:
|
||||||
grandfather=highest_ancestor.get_parent()
|
grandfather=highest_ancestor.get_parent()
|
||||||
if grandfather != self.get_toplevel():
|
if maker.isinstance(grandfather, 'VPaned') or \
|
||||||
|
maker.isinstance(grandfather, 'HPaned') :
|
||||||
grandfather.do_redistribute(recurse_up, recurse_down)
|
grandfather.do_redistribute(recurse_up, recurse_down)
|
||||||
|
|
||||||
GObject.idle_add(highest_ancestor._do_redistribute, recurse_up, recurse_down)
|
GObject.idle_add(highest_ancestor._do_redistribute, recurse_up, recurse_down)
|
||||||
|
|
Loading…
Reference in New Issue