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

From: Stephan Hennig <mailing_list-kvp5wt2u2u0@public.gmane.org>
Date: Jan 14, 2008, 14:52 UTC
Message-ID: <fmft8d$kuv$2@ger.gmane.org>
In-Reply-To: <alpine.LSU.1.00.0801111238150.31053-OGWIkrnhIhzN0uC3ymp8PA@public.gmane.org>

Johannes Schindelin schrieb:

Show 23 quoted lines

> 
> 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.

The bug is still present in gitk that comes with Msysgit

> $ git version
> git version 1.5.4.rc3.941.gebb79

Best regards, Stephan Hennig