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

Subsystems: the rest

DORMANTno replies

4 messages, 4 authors, 2016-06-15 · open the first message on its own page

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

From: Johannes Schindelin <hidden>
Date: 2016-06-15 22:44:04


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

---

	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}

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

From: Johannes Sixt <hidden>
Date: 2016-06-15 22:44:04

Johannes Schindelin schrieb:
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 <redacted>
                                                         ^^^^^^^^^^^^^^...
WTF is going on these days?

[note: yours, git ML and msysgit ML adresses corrected manually]

-- Hannes

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

From: Julio Espinoza-Sokal <hidden>
Date: 2016-06-15 22:44:04

On Jan 11, 2008 7:59 AM, Johannes Sixt [off-list ref] wrote:
Johannes Schindelin schrieb:
quoted
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 <redacted>
                                                         ^^^^^^^^^^^^^^...
WTF is going on these days?

[note: yours, git ML and msysgit ML adresses corrected manually]

-- Hannes
I don't know if this is new, but it seems that's a feature of Gmane to
prevent spam.
http://gmane.org/tmda.php

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

From: Johannes Schindelin <hidden>
Date: 2016-06-15 22:44:04


On Fri, 11 Jan 2008, Johannes Sixt wrote:
Johannes Schindelin schrieb:
quoted
Signed-off-by: Johannes Schindelin 
[off-list ref]
                                                         ^^^^^^^^^^^^^^...
WTF is going on these days?

[note: yours, git ML and msysgit ML adresses corrected manually]
Umm.  The copy of my mail _I_ got via vger.kernel.org was _not_ corrupted.  
So I think the problem is on the viewer's side (IOW gmane), not the sender 
or the mailing list...

Ciao,
Dscho
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help