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

2008-06-23 09:53:04 +01:00 · 2008-06-23 09:53:04 +01:00 · d4e7e8217c
parent 3e71f13fc7
commit d4e7e8217c
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -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 \