projects
/
git.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1daf1d0
)
git-gui: Corrected font used for options menu items.
author
Shawn O. Pearce
<spearce@spearce.org>
Sun, 12 Nov 2006 01:45:52 +0000
(20:45 -0500)
committer
Shawn 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
patch
|
blob
|
history
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