Zooming: `Ctrl-=' as an alias for `Ctrl-+'
commite5cadbd35888ef77ad20e5ea92e82156c249771e
authorMichael Witten <mfwitten@gmail.com>
Wed, 3 Oct 2012 21:32:44 +0000 (3 21:32 +0000)
committermalc <av1474@comtv.ru>
Wed, 3 Oct 2012 23:20:55 +0000 (4 03:20 +0400)
treef4a58e65c369a93d21edef4e1b3b20b823677388
parent7d51766219c622be0f67ffa4576bc4024f2d3805
Zooming: `Ctrl-=' as an alias for `Ctrl-+'

On many keyboards, `-' and `+' are not symmetrical; while `-' requires
only one key to be pressed, `+' requires 2 keys: `Shift' and `='.

Consequently, zooming in is `Ctrl--', but zooming out is `Ctrl-Shift-='.
This commit includes `Ctrl-=' as an alternative for zooming out.
KEYS
main.ml