{"thread":{"id":"11369","subject":"gitk font configuration","startedAt":"2007-12-20T12:19:54Z","lastAt":"2008-01-12T00:29:29Z","messageCount":3,"participants":["Peter Karlsson","Charles Bailey","Paul Mackerras"],"isPatch":false,"patchVersion":null,"patchTotal":null},"messages":[{"id":"63858","messageId":"Pine.LNX.4.64.0712201318270.27181@ds9.cixit.se","threadId":"11369","inReplyTo":null,"subject":"gitk font configuration","fromName":"Peter Karlsson","fromEmail":"peter@softwolves.pp.se","sentAt":"2007-12-20T12:19:54Z","receivedAt":"2007-12-20T12:19:54Z","isPatch":false,"sender":{"key":"peter@softwolves.pp.se","avatar":"https://avatars.githubusercontent.com/u/990764?v=4"},"body":"Hi!\n\nI can configure git gui's fonts through its preferences, but gitk does\nnot have font settings. And I can't find any documentation on how to\nchange the fonts either in the gitk or git-config manual pages. Is\nthere any way to change them? I'd really love getting rid of Courier...\n\n-- \n\\\\// Peter - http://www.softwolves.pp.se/\n"},{"id":"63860","messageId":"20071220122649.GA2780@hashpling.org","threadId":"11369","inReplyTo":"Pine.LNX.4.64.0712201318270.27181@ds9.cixit.se","subject":"Re: gitk font configuration","fromName":"Charles Bailey","fromEmail":"charles@hashpling.org","sentAt":"2007-12-20T12:26:49Z","receivedAt":"2007-12-20T12:26:49Z","isPatch":false,"sender":{"key":"charles@hashpling.org","avatar":"https://avatars.githubusercontent.com/u/1668475?v=4"},"body":"On Thu, Dec 20, 2007 at 01:19:54PM +0100, Peter Karlsson wrote:\n> Hi!\n> \n> I can configure git gui's fonts through its preferences, but gitk does\n> not have font settings. And I can't find any documentation on how to\n> change the fonts either in the gitk or git-config manual pages. Is\n> there any way to change them? I'd really love getting rid of Courier...\n\ngitk creates a .gitk file in your home directory.  If you point your\neditor at that file it should be fairly obvious how to change the\nfonts.\n"},{"id":"65094","messageId":"18312.2537.861776.185427@cargo.ozlabs.ibm.com","threadId":"11369","inReplyTo":"Pine.LNX.4.64.0712201318270.27181@ds9.cixit.se","subject":"Re: gitk font configuration","fromName":"Paul Mackerras","fromEmail":"paulus@samba.org","sentAt":"2008-01-12T00:29:29Z","receivedAt":"2008-01-12T00:29:29Z","isPatch":false,"sender":{"key":"paulus@samba.org","avatar":"https://avatars.githubusercontent.com/u/1606439?v=4"},"body":"Peter Karlsson writes:\n\n> I can configure git gui's fonts through its preferences, but gitk does\n> not have font settings.\n\nIt does, now, in the preferences window (do Edit->Preferences).\n\nPaul.\n"}]}