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

Re: Configuring gitk appearance

From
JWJoseph Wakeling <joseph.wakeling@webdrake.net>
Date
Feb 15, 2007, 17:05 UTC
Message-ID
<45D492F3.90404@webdrake.net>
In-Reply-To
<20070215162646.GA25337@snarc.org>
Vincent Hanquez wrote:
Show 7 quoted lines
> gitk is not using GTK v1 but TCL/TK.
> 
> see your ~/.gitk and just change those option (9 to 13 or 15 will do):
> 
> set mainfont {Helvetica 9}
> set textfont {Courier 9}
> set uifont {Helvetica 9 bold}

Thanks very much. Where does gitk look for fonts? It seems to find some, but not others, of the different sorts I have on my system.

Previous: Vincent Hanquez
Message 3 of 3 in “Configuring gitk appearance”
  1. Joseph WakelingFeb 15, 2007
  2. Vincent HanquezFeb 15, 2007
  3. Joseph WakelingFeb 15, 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.