gitkのフォントサイズを変更する

all in oneなGUIのGitフロントエンドをあまり使いたくないのですが、コミットツリーだけはアスキーアートじゃ見づらいのでGUIで見たい。
gitに同梱されてるgitkがちょうどいいのですが、デフォルトのフォントサイズがあまりにも小さかったので調整することにしました。

設定ファイル

公式サイトを見ると、

User configuration and preferences are stored at:

• $XDG_CONFIG_HOME/git/gitk if it exists, otherwise
• $HOME/.gitk if it exists

If neither of the above exist then $XDG_CONFIG_HOME/git/gitk is created and used by default. If $XDG_CONFIG_HOME is not set it defaults to $HOME/.config in all cases.

とあります。
つまりデフォルトでは、$HOME/.config/git/gitkにあるはずです。ありました。

設定

以下の行を編集してお好みのフォントサイズにします。

set mainfont {{Lucida Grande} 9}
set textfont {Monaco 9}
set uifont {{Lucida Grande} 9 bold}

MacBook Pro 13インチでは、

set mainfont {{Lucida Grande} 18}
set textfont {Monaco 15}
set uifont {{Lucida Grande} 15 bold}

くらいにしたらちょうどいい大きさになりました。