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

Tiny default fonts in gitk

From
PEPeter Eriksen <s022018@student.dtu.dk>
Date
Aug 11, 2006, 10:07 UTC
Message-ID
<20060811100706.GA22767@bohr.gbar.dtu.dk>
Hi list,

I find the default font for gitk too small to be readable on my 1280x800 pixels resolution. This is an extract from the file, .gitk, that gitk initially creates:

set mainfont {Helvetica 9} set textfont {Courier 9} set uifont {Helvetica 9 bold}

Is it just some X/Tk setting causing this, or is point 9 just very small? This is under Fedora Core 5. Changing these sizes to 12 gives the text the same size as in the rest of the desktop. It would be nice, if that was the default.

Regards,
Peter
Next: Paul Mackerras
Message 1 of 2 in “Tiny default fonts in gitk”
  1. Peter EriksenAug 11, 2006
  2. Paul MackerrasAug 23, 2006

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.