Minor gtk3 fix for setting urgent flag on window for highlight in task bar

This commit is contained in:
Stephen Boddy 2015-08-06 21:45:07 +02:00
parent ea7010612f
commit d6b62b61d8

View File

@ -1523,7 +1523,7 @@ class Terminal(Gtk.VBox):
"""Set the urgency hint for our window"""
if self.config['urgent_bell'] == True:
window = self.get_toplevel()
if window.flags() & Gtk.TOPLEVEL:
if window.is_toplevel():
window.set_urgency_hint(True)
if self.config['icon_bell'] == True:
self.titlebar.icon_bell()