gitk: Add a font chooser
authorPaul Mackerras <paulus@samba.org>
Sat, 6 Oct 2007 10:16:06 +0000 (20:16 +1000)
committerPaul Mackerras <paulus@samba.org>
Sat, 6 Oct 2007 10:16:06 +0000 (20:16 +1000)
commit9a7558f348772ab3c2fb3d4beda3a3a7af1e843a
tree9c4a87d9c3bdad9f464ac52da3b9be2d4cd32d53
parent0ed1dd3c77e606156f0f5d1baa59a47f33711787
gitk: Add a font chooser

This adds buttons to the edit preferences window to allow the user to
choose the main font, the text font (used for the diff display window)
and the UI font.  Pressing those buttons pops up a font chooser window
that lets the user pick the font family, size, weight (bold/normal)
and slant (roman/italic).

Signed-off-by: Paul Mackerras <paulus@samba.org>
gitk