git-gui: Corrected font used for options menu items.
authorShawn O. Pearce <spearce@spearce.org>
Sun, 12 Nov 2006 01:45:52 +0000 (20:45 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Sun, 12 Nov 2006 05:16:04 +0000 (00:16 -0500)
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui

diff --git a/git-gui b/git-gui
index 8a42c97cb186283086b2455e6e199379ef6626b5..008eeb44607cfb96aacc0823214c912ea74324d7 100755 (executable)
--- a/git-gui
+++ b/git-gui
@@ -1677,6 +1677,7 @@ menu .mbar.push
 menu .mbar.options
 .mbar.options add checkbutton \
        -label {Trust File Modification Timestamps} \
+       -font $font_ui \
        -offvalue false \
        -onvalue true \
        -variable cfg_trust_mtime