From d4e7e8217cb0e2f2f92343454ff601dead3593f7 Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Mon, 23 Jun 2008 09:53:04 +0100 Subject: [PATCH] Always restore font size on unzooming, since atm it is possible to Zoom, then Unmaximise and keep the larger font, which then can't be returned to normal --- terminator | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/terminator b/terminator index fa47a370..e07d988c 100755 --- a/terminator +++ b/terminator @@ -1662,7 +1662,7 @@ class Terminator: if self.conf.titlebars: widget._titlebox.hide() else: - self.unzoom_term (widget, fontscale) + self.unzoom_term (widget, True) if self.conf.titlebars and \ len(self.term_list) > 1 \ and \