From 058803f400d8bbd72aa8b8584e9a6e93dbd17d54 Mon Sep 17 00:00:00 2001
From: "Shawn O. Pearce" <spearce@spearce.org>
Date: Sat, 11 Nov 2006 20:45:52 -0500
Subject: [PATCH] git-gui: Corrected font used for options menu items.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
---
 git-gui | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.26.2