diff options
author | Shawn O. Pearce <spearce@spearce.org> | 2006-11-11 20:45:52 -0500 |
---|---|---|
committer | Shawn O. Pearce <spearce@spearce.org> | 2006-11-12 00:16:04 -0500 |
commit | 058803f400d8bbd72aa8b8584e9a6e93dbd17d54 (patch) | |
tree | 658b16b8f3ec53b471db40d7324e1e03aacc86bd /git-gui | |
parent | 1daf1d0c81c7c2623867f7884c8cbc5ff0a10d30 (diff) | |
download | git-058803f400d8bbd72aa8b8584e9a6e93dbd17d54.tar.gz git-058803f400d8bbd72aa8b8584e9a6e93dbd17d54.tar.xz |
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-x | git-gui | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |