Fix the Group All/Tab shortcuts where titlebars were not updated. Closes LP#1242675

This commit is contained in:
Stephen Boddy 2013-10-25 20:12:41 +02:00
commit b9b7e6b06c
2 changed files with 5 additions and 0 deletions

View File

@ -1088,6 +1088,7 @@ class Terminal(gtk.VBox):
self.vte.set_colors(self.fgcolor_active, self.bgcolor,
self.palette_active)
self.set_cursor_color()
self.terminator.last_focused_term = self
self.emit('focus-in')
def on_vte_focus_out(self, _widget, _event):

View File

@ -691,11 +691,13 @@ class Window(Container, gtk.Window):
self.terminator.create_group(group)
for terminal in self.terminator.terminals:
terminal.set_group(None, group)
self.terminator.focus_changed(self.terminator.last_focused_term)
def ungroup_all(self, widget):
"""Ungroup all terminals"""
for terminal in self.terminator.terminals:
terminal.set_group(None, None)
self.terminator.focus_changed(self.terminator.last_focused_term)
def group_tab(self, widget):
"""Group all terminals in the current tab"""
@ -714,6 +716,7 @@ class Window(Container, gtk.Window):
pagenum += 1
for terminal in self.get_visible_terminals():
terminal.set_group(None, group)
self.terminator.focus_changed(self.terminator.last_focused_term)
def ungroup_tab(self, widget):
"""Ungroup all terminals in the current tab"""
@ -726,6 +729,7 @@ class Window(Container, gtk.Window):
for terminal in self.get_visible_terminals():
terminal.set_group(None, None)
self.terminator.focus_changed(self.terminator.last_focused_term)
def move_tab(self, widget, direction):
"""Handle a keyboard shortcut for moving tab positions"""