From 91c5b61359b638601e2de47ff2f8793f3c044b0c Mon Sep 17 00:00:00 2001 From: Chris Jones Date: Sun, 6 Jan 2008 00:00:22 +0000 Subject: [PATCH] Add support for font zooming. Fixes LP #178792 --- terminator | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/terminator b/terminator index 630c621a..bee9795e 100755 --- a/terminator +++ b/terminator @@ -294,6 +294,13 @@ class TerminatorTerm: elif keyname == 'V': self._vte.paste_clipboard () return (True) + elif keyname == 'plus': + self.zoom (True) + return (True) + + if keyname and (keyname == 'minus'): + if event.state == gtk.gdk.CONTROL_MASK: + self.zoom (False) if keyname and (keyname == 'Tab' or keyname.endswith('_Tab')): if event.state == gtk.gdk.CONTROL_MASK: @@ -305,6 +312,18 @@ class TerminatorTerm: return (False) + def zoom (self, zoom_in): + pangodesc = self._vte.get_font () + fontsize = pango.PIXELS (pangodesc.get_size ()) + + if fontsize > 1 and not zoom_in: + fontsize -= 1 + elif zoom_in: + fontsize += 1 + + pangodesc.set_size (fontsize * pango.SCALE) + self._vte.set_font (pangodesc) + def on_vte_popup_menu (self, term): self.do_popup ()