[PATCH] gitk: make Ctrl "+" really increase the font size

From: Johannes Schindelin <johannes.schindelin-mmb7mzphnfy@public.gmane.org>
Date: Jan 11, 2008, 12:39 UTC
Message-ID: <alpine.LSU.1.00.0801111238150.31053@racer.site>
In-Reply-To: <fm5oln$ahq$1@ger.gmane.org>

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-Mmb7MZpHnFY@public.gmane.org>

---

	On Thu, 10 Jan 2008, Stephan Hennig wrote:

	> 
	> Hi,
	> 
	> reducing font size in gitk with CTRL-- works, but enlarging font 
	> size fails.  Typing CTRL-+ just doesn't have any effect here.

	This is no bug in msysgit, but in gitk.

	Paul, please apply.

 gitk |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/gitk b/gitk
index 1da0b0a..462f6aa 100644
--- 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}