# gitk font configuration 3 messages from 2007-12-20 to 2008-01-12. Participants: Peter Karlsson, Charles Bailey, Paul Mackerras. Thread: https://gitlist.dev/t/11369 ## Peter Karlsson, 2007-12-20 12:19 Subject: gitk font configuration Message-ID: URL: https://gitlist.dev/e/Pine.LNX.4.64.0712201318270.27181%40ds9.cixit.se ``` 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, 2007-12-20 12:26 Subject: Re: gitk font configuration Message-ID: <20071220122649.GA2780@hashpling.org> URL: https://gitlist.dev/e/20071220122649.GA2780%40hashpling.org In-Reply-To: ``` On Thu, Dec 20, 2007 at 01:19:54PM +0100, Peter Karlsson wrote: > 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, 2008-01-12 00:29 Subject: Re: gitk font configuration Message-ID: <18312.2537.861776.185427@cargo.ozlabs.ibm.com> URL: https://gitlist.dev/e/18312.2537.861776.185427%40cargo.ozlabs.ibm.com In-Reply-To: ``` 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. ```