From: Simon Sasburg Date: Tue, 18 Sep 2007 22:33:34 +0000 (+0200) Subject: git-gui: Avoid using bold text in entire gui for some fonts X-Git-Tag: gitgui-0.8.4~9 X-Git-Url: https://git.tokkee.org/?a=commitdiff_plain;h=ae0754ac9a24afa2693246222fc078fe9c133b3a;p=git.git git-gui: Avoid using bold text in entire gui for some fonts Signed-off-by: Shawn O. Pearce --- diff --git a/git-gui.sh b/git-gui.sh index f789e91b6..28d7c2169 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -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"