rework the full-window-term code a little so that it is referred to as terminal zooming (perhaps an unfortunate name wrt zooming fonts), make the context menu items behave a little better and add a keyboard shortcut

terminator

@@ -623,6 +623,9 @@ text/plain
       elif keyname == 'Page_Up':
           self.terminator.move_tab(self, 'left')
           return (True)
+      elif keyname == 'Z':
+        self.terminator.toggle_zoom (self)
+        return (True)
       
     mask = gtk.gdk.CONTROL_MASK
     if (event.state & mask) == mask: