Occasionly a 'ghost' group label would arise from the dead

This commit is contained in:
Stephen Boddy 2012-10-24 19:29:19 +02:00
parent 0515144a9a
commit a7948207df

View File

@ -216,6 +216,7 @@ class Titlebar(gtk.EventBox):
self.grouplabel.set_text(name)
self.grouplabel.show()
else:
self.grouplabel.set_text('')
self.grouplabel.hide()
self.update_visibility()