Apply patch from Seonghun Lim to fix the split_to_group feature. Closes LP#838655

This commit is contained in:
Chris Jones 2012-10-19 09:57:23 -07:00
parent 8b9bf56ec3
commit ad846ce402
3 changed files with 6 additions and 0 deletions

View File

@ -136,6 +136,8 @@ class Notebook(Container, gtk.Notebook):
sibling = maker.make('terminal')
sibling.set_cwd(cwd)
sibling.spawn_child()
if widget.group and self.config['split_to_group']:
sibling.set_group(None, widget.group)
if self.config['always_split_with_profile']:
sibling.force_set_profile(None, widget.get_profile())

View File

@ -50,6 +50,8 @@ class Paned(Container):
sibling = self.maker.make('terminal')
sibling.set_cwd(cwd)
sibling.spawn_child()
if widget.group and self.config['split_to_group']:
sibling.set_group(None, widget.group)
if self.config['always_split_with_profile']:
sibling.force_set_profile(None, widget.get_profile())

View File

@ -459,6 +459,8 @@ class Window(Container, gtk.Window):
sibling = maker.make('Terminal')
sibling.set_cwd(cwd)
sibling.spawn_child()
if widget.group and self.config['split_to_group']:
sibling.set_group(None, widget.group)
if self.config['always_split_with_profile']:
sibling.force_set_profile(None, widget.get_profile())