Fix check for key-mask when zooming out.

This commit is contained in:
Thomas Meire 2008-01-06 09:35:16 +01:00
parent 93e6c017c6
commit 67d4fd2585

View File

@ -315,8 +315,9 @@ class TerminatorTerm:
self.zoom (True)
return (True)
mask = gtk.gdk.CONTROL_MASK
if keyname and (keyname == 'minus'):
if event.state == gtk.gdk.CONTROL_MASK:
if (event.state & mask) == mask:
self.zoom (False)
if keyname and (keyname == 'Tab' or keyname.endswith('_Tab')):