Skip to content

Commit 646f3a1

Browse files
dschopaulusmack
authored andcommitted
[PATCH] gitk: make Ctrl "+" really increase the font size
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 <[email protected]> Signed-off-by: Paul Mackerras <[email protected]>
1 parent 7d8856d commit 646f3a1

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

gitk

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -996,6 +996,7 @@ proc makewindow {} {
996996
bind . <$M1B-r> dosearchback
997997
bind . <$M1B-s> dosearch
998998
bind . <$M1B-equal> {incrfont 1}
999+
bind . <$M1B-plus> {incrfont 1}
9991000
bind . <$M1B-KP_Add> {incrfont 1}
10001001
bind . <$M1B-minus> {incrfont -1}
10011002
bind . <$M1B-KP_Subtract> {incrfont -1}

0 commit comments

Comments
 (0)