author | Paul Mackerras <paulus@samba.org> | |
Sat, 6 Oct 2007 10:16:06 +0000 (20:16 +1000) | ||
committer | Paul Mackerras <paulus@samba.org> | |
Sat, 6 Oct 2007 10:16:06 +0000 (20:16 +1000) | ||
commit | 9a7558f348772ab3c2fb3d4beda3a3a7af1e843a | |
tree | 9c4a87d9c3bdad9f464ac52da3b9be2d4cd32d53 | tree | snapshot |
parent | 0ed1dd3c77e606156f0f5d1baa59a47f33711787 | commit | diff |
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>
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 | diff | blob | history |