From 383a4b614f779c0f3644e3cea616eeb95bfc7a6a Mon Sep 17 00:00:00 2001
From: Stephen Boddy <stephen.j.boddy@gmail.com>
Date: Sun, 24 Jun 2012 00:48:23 +0200
Subject: [PATCH] Fix titlebars not refreshing when using broadcast shortcut
 keys

---
 terminatorlib/terminal.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/terminatorlib/terminal.py b/terminatorlib/terminal.py
index dd58fd9a..84759c5a 100755
--- a/terminatorlib/terminal.py
+++ b/terminatorlib/terminal.py
@@ -1627,12 +1627,15 @@ class Terminal(gtk.VBox):
 
     def key_broadcast_off(self):
         self.set_groupsend(None, self.terminator.groupsend_type['off'])
+        self.terminator.focus_changed(self)
 
     def key_broadcast_group(self):
         self.set_groupsend(None, self.terminator.groupsend_type['group'])
+        self.terminator.focus_changed(self)
 
     def key_broadcast_all(self):
         self.set_groupsend(None, self.terminator.groupsend_type['all'])
+        self.terminator.focus_changed(self)
 
 # End key events