diff options
author | Shawn O. Pearce <spearce@spearce.org> | 2007-09-20 17:01:32 (GMT) |
---|---|---|
committer | Shawn O. Pearce <spearce@spearce.org> | 2007-09-20 17:01:32 (GMT) |
commit | e7deec6c72f06b6e953cc1cf24653da4f69bcfd4 (patch) | |
tree | a35a467210d015a7fc0c051b53364ca3aea72263 | |
parent | 704396bc2a13f8843689d3fab2211a0b2f364652 (diff) | |
parent | ae0754ac9a24afa2693246222fc078fe9c133b3a (diff) | |
download | git-e7deec6c72f06b6e953cc1cf24653da4f69bcfd4.zip git-e7deec6c72f06b6e953cc1cf24653da4f69bcfd4.tar.gz git-e7deec6c72f06b6e953cc1cf24653da4f69bcfd4.tar.bz2 |
Merge branch 'maint'
* maint:
git-gui: Avoid using bold text in entire gui for some fonts
-rwxr-xr-x | git-gui.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1669,7 +1669,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 [strcat [mc "Invalid font specified in %s:" "gui.$name"] "\n\n$err"] |