diff options
author | Simon Sasburg <simon.sasburg@gmail.com> | 2007-09-18 22:33:34 (GMT) |
---|---|---|
committer | Shawn O. Pearce <spearce@spearce.org> | 2007-09-20 16:59:45 (GMT) |
commit | ae0754ac9a24afa2693246222fc078fe9c133b3a (patch) | |
tree | dbebd407dbfef0763c243e7a6beffad24086f763 | |
parent | 3849bfba84fb5b0e9d46920f62105b4e1dd97e63 (diff) | |
download | git-ae0754ac9a24afa2693246222fc078fe9c133b3a.zip git-ae0754ac9a24afa2693246222fc078fe9c133b3a.tar.gz git-ae0754ac9a24afa2693246222fc078fe9c133b3a.tar.bz2 |
git-gui: Avoid using bold text in entire gui for some fonts
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
-rwxr-xr-x | git-gui.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1648,7 +1648,7 @@ proc apply_config {} { set font [lindex $option 1] if {[catch { foreach {cn cv} $repo_config(gui.$name) { - font configure $font $cn $cv + font configure $font $cn $cv -weight normal } } err]} { error_popup "Invalid font specified in gui.$name:\n\n$err" |