Andrew's git
/
gitweb.git
/ blobdiff
summary
|
log
|
commit
|
diff
|
tree
commit
grep
author
committer
pickaxe
?
re
[PATCH] gitk: make Ctrl "+" really increase the font size
[gitweb.git]
/
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}