From 2528353e2af6ebe87b46d5dda5887f671cd7f7df Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Mon, 2 Feb 2009 17:20:16 +0000 Subject: [PATCH] Easier than actually tracking which kind it is --- terminatorlib/terminatorterm.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/terminatorlib/terminatorterm.py b/terminatorlib/terminatorterm.py index 20517afc..7aa41d2d 100755 --- a/terminatorlib/terminatorterm.py +++ b/terminatorlib/terminatorterm.py @@ -112,7 +112,7 @@ class TerminatorTermTitle (gtk.EventBox): if self._parent.terminator._zoomed and len (self._parent.terminator.term_list): 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() return else: