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

Re: [PATCH 1/5] Consistently use user-defined UI font everywhere in GUI tools.

From
Junio C Hamano <junkio@cox.net>
Date
Mar 26, 2007, 08:31 UTC
Message-ID
<7vr6rcxv5x.fsf@assigned-by-dhcp.cox.net>
In-Reply-To
<20070326073715.GE44578@codelabs.ru>
I think this is sane in general, but please
 (1) do not make a combined patch that covers gitk and git-gui
     at the same time;
 (2) address gitk patches to Paul Mackerras <paulus@samba.org>,
     with cc: the list;
 (3) address git-gui patches to Shawn Pearce <spearce@spearce.org>
     with cc: the list.
Thanks.
Previous: Eygene RyabinkinNext: Frank Lichtenheld
Message 2 of 4 in “Consistently use user-defined UI font everywhere in GUI tools.”
  1. 1/5 Consistently use user-defined UI font everywhere in GUI tools.Eygene Ryabinkin, Mar 26, 2007
  2. Junio C HamanoMar 26, 2007
  3. Frank LichtenheldMar 26, 2007
  4. Eygene RyabinkinMar 26, 2007

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.