mirrors/git
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

git-gui: Avoid using bold text in entire gui for some fonts

Browse Source 
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
This commit is contained in:
Simon Sasburg
2007-09-19 00:33:34 +02:00
committed by Shawn O. Pearce
parent 3849bfba84
commit ae0754ac9a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
git-gui.sh
View File

@ -1648,7 +1648,7 @@ proc apply_config {} {
set font [lindex $option 1] set font [lindex $option 1]
if {[catch { if {[catch {
foreach {cn cv} $repo_config(gui.$name) { foreach {cn cv} $repo_config(gui.$name) {
font configure $font $cn $cv font configure $font $cn $cv -weight normal
} }
} err]} { } err]} {
error_popup "Invalid font specified in gui.$name:\n\n$err" error_popup "Invalid font specified in gui.$name:\n\n$err"