summaryrefslogtreecommitdiff
path: root/git-gui
diff options
context:
space:
mode:
authorShawn O. Pearce <spearce@spearce.org>2006-11-12 01:45:52 (GMT)
committerShawn O. Pearce <spearce@spearce.org>2006-11-12 05:16:04 (GMT)
commit058803f400d8bbd72aa8b8584e9a6e93dbd17d54 (patch)
tree658b16b8f3ec53b471db40d7324e1e03aacc86bd /git-gui
parent1daf1d0c81c7c2623867f7884c8cbc5ff0a10d30 (diff)
downloadgit-058803f400d8bbd72aa8b8584e9a6e93dbd17d54.zip
git-058803f400d8bbd72aa8b8584e9a6e93dbd17d54.tar.gz
git-058803f400d8bbd72aa8b8584e9a6e93dbd17d54.tar.bz2
git-gui: Corrected font used for options menu items.
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'git-gui')
-rwxr-xr-xgit-gui1
1 files changed, 1 insertions, 0 deletions
diff --git a/git-gui b/git-gui
index 8a42c97..008eeb4 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