diff options
| author | Paul Mackerras <paulus@samba.org> | 2007-10-06 20:16:06 +1000 |
|---|---|---|
| committer | Paul Mackerras <paulus@samba.org> | 2007-10-06 20:16:06 +1000 |
| commit | 9a7558f348772ab3c2fb3d4beda3a3a7af1e843a (patch) | |
| tree | 9c4a87d9c3bdad9f464ac52da3b9be2d4cd32d53 /git-gui/lib/commit.tcl | |
| parent | 0ed1dd3c77e606156f0f5d1baa59a47f33711787 (diff) | |
| download | git-9a7558f348772ab3c2fb3d4beda3a3a7af1e843a.tar.gz | |
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>
Diffstat (limited to 'git-gui/lib/commit.tcl')
0 files changed, 0 insertions, 0 deletions