[PATCH] gitk: make Ctrl "+" really increase the font size
authorJohannes Schindelin <Johannes.Schindelin@gmx.de>
Fri, 11 Jan 2008 12:39:33 +0000 (12:39 +0000)
committerPaul Mackerras <paulus@samba.org>
Sun, 13 Jan 2008 21:55:04 +0000 (08:55 +1100)
Only Ctrl "=" was bound to increase the font size, probably because
English keyboards have the plus on the same key as the equal sign.
However, not the whole world is English, and at least with some
other keyboard layouts, Ctrl "+" did not work as documented.

Noticed by Stephan Hennig.

Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Paul Mackerras <paulus@samba.org>
gitk

diff --git a/gitk b/gitk
index b3cb8e8b7e65be6c2dba18721a56fc53d2276ff4..5560e4dc560587c4a551c24a1ee59df394726fc9 100755 (executable)
--- a/gitk
+++ b/gitk
@@ -996,6 +996,7 @@ proc makewindow {} {
     bind . <$M1B-r> dosearchback
     bind . <$M1B-s> dosearch
     bind . <$M1B-equal> {incrfont 1}
+    bind . <$M1B-plus> {incrfont 1}
     bind . <$M1B-KP_Add> {incrfont 1}
     bind . <$M1B-minus> {incrfont -1}
     bind . <$M1B-KP_Subtract> {incrfont -1}