projects / gitk / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d8856d) | patch
[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)
commit646f3a149d1cc8a6511a433cd2a51987d7582463
treee1e9ac5988f10df8f98ed28a1911e47e8e4c05d8tree | snapshot
parent7d8856d091d3fd098643acb6157dfed376eddaeacommit | diff
[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 <Johannes.Schindelin@gmx.de>
Signed-off-by: Paul Mackerras <paulus@samba.org>
gitk diff | blob | history
Gitk: Windows and themed Tk support