3 messages, 3 authors, 2016-06-15 · open the first message on its own page
From: Peter Karlsson <hidden>
Date: 2016-06-15 22:44:00
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/
From: Charles Bailey <hidden>
Date: 2016-06-15 22:44:00
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.
From: Paul Mackerras <hidden>
Date: 2016-06-15 22:44:04
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.