threads / discuss / 11369

gitk font configuration

Subject: gitk font configuration

## tl;dr

3 messages between Dec 20, 2007 and Jan 12, 2008.

replies: 2people: 3as markdown or json

Peter Karlsson· Dec 20, 2007, 12:19 UTC · lore

Hi!

I can configure git gui's fonts through its preferences, but gitk does not have font settings. And I can't find any documentation on how to change the fonts either in the gitk or git-config manual pages. Is there any way to change them? I'd really love getting rid of Courier...

-- 
\\// Peter - http://www.softwolves.pp.se/

Charles Bailey· Dec 20, 2007, 12:26 UTC · re: Peter Karlsson · lore

Re: gitk font configuration

On Thu, Dec 20, 2007 at 01:19:54PM +0100, Peter Karlsson wrote:

Show 6 quoted lines

> Hi!
> 
> I can configure git gui's fonts through its preferences, but gitk does
> not have font settings. And I can't find any documentation on how to
> change the fonts either in the gitk or git-config manual pages. Is
> there any way to change them? I'd really love getting rid of Courier...

gitk creates a .gitk file in your home directory. If you point your editor at that file it should be fairly obvious how to change the fonts.

Paul Mackerras· Jan 12, 2008, 00:29 UTC · re: Peter Karlsson · lore

Re: gitk font configuration

Peter Karlsson writes:

> I can configure git gui's fonts through its preferences, but gitk does
> not have font settings.

It does, now, in the preferences window (do Edit->Preferences).

Paul.