From: Shawn O. Pearce 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 --- 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