git/list[1] front-page[2] threads[3] people[4] search[5] about
 

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

From
JEJulio Espinoza-Sokal <julioes@gmail.com>
Date
Jan 11, 2008, 13:22 UTC
Message-ID
<1a61e4060801110522o67ab6c08y9e979abb2b7da102@mail.gmail.com>
In-Reply-To
<47876823.1070800@viscovery.net>
On Jan 11, 2008 7:59 AM, Johannes Sixt <j.sixt@viscovery.net> wrote:
Show 16 quoted lines
> 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 <Johannes.Schindelin-Mmb7MZpHnFY@public.gmane.org>
>                                                          ^^^^^^^^^^^^^^...
> 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

Previous: Johannes SixtNext: Johannes Schindelin
Message 3 of 7 in “gitk: make Ctrl "+" really increase the font size”
  1. gitk: make Ctrl "+" really increase the font sizeJohannes Schindelin, Jan 11, 2008
  2. Johannes SixtJan 11, 2008
  3. Julio Espinoza-SokalJan 11, 2008
  4. Johannes SchindelinJan 11, 2008
  5. Stephan HennigJan 14, 2008
  6. Johannes SchindelinJan 14, 2008
  7. Stephan HennigJan 15, 2008

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.