From: Shawn O. Pearce <spearce@spearce.org>
Date: Sun, 12 Nov 2006 01:45:52 +0000 (-0500)
Subject: git-gui: Corrected font used for options menu items.
X-Git-Tag: gitgui-0.6.0~249
X-Git-Url: https://git.tokkee.org/?a=commitdiff_plain;h=058803f400d8bbd72aa8b8584e9a6e93dbd17d54;p=git.git

git-gui: Corrected font used for options menu items.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
---

diff --git a/git-gui b/git-gui
index 8a42c97cb..008eeb446 100755
--- 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