Easier than actually tracking which kind it is

This commit is contained in:
Chris Jones 2009-02-02 17:20:16 +00:00
parent 859c463a48
commit 2528353e2a
1 changed files with 1 additions and 1 deletions

View File

@ -112,7 +112,7 @@ class TerminatorTermTitle (gtk.EventBox):
if self._parent.terminator._zoomed and len (self._parent.terminator.term_list): if self._parent.terminator._zoomed and len (self._parent.terminator.term_list):
self._unzoomed_title = self.get_terminal_title () self._unzoomed_title = self.get_terminal_title ()
self.set_terminal_title ("Zoomed terminal, %d hidden" % (len (self._parent.terminator.term_list) - 1)) self.set_terminal_title ("Zoomed/Maximised terminal, %d hidden" % (len (self._parent.terminator.term_list) - 1))
self.show() self.show()
return return
else: else: