diff options
| author |  Simon Sasburg <simon.sasburg@gmail.com> | 2007-09-19 00:33:34 +0200 |
|---|---|---|
| committer |  Shawn O. Pearce <spearce@spearce.org> | 2007-09-20 12:59:45 -0400 |
| commit | ae0754ac9a24afa2693246222fc078fe9c133b3a (patch) | |
| tree | dbebd407dbfef0763c243e7a6beffad24086f763 | |
| parent | git-gui: Disable native platform text selection in "lists" (diff) | |
| download | tgif-ae0754ac9a24afa2693246222fc078fe9c133b3a.tar.xz | |
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
diff --git a/git-gui.sh b/git-gui.sh index f789e91b66..28d7c21692 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" |