projects
/
git.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3849bfb
)
git-gui: Avoid using bold text in entire gui for some fonts
author
Simon Sasburg
<simon.sasburg@gmail.com>
Tue, 18 Sep 2007 22:33:34 +0000
(
00:33
+0200)
committer
Shawn O. Pearce
<spearce@spearce.org>
Thu, 20 Sep 2007 16:59:45 +0000
(12:59 -0400)
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui.sh
patch
|
blob
|
history
diff --git
a/git-gui.sh
b/git-gui.sh
index f789e91b66ae20b67103fb2d09758a9e99107b87..28d7c21692fe74ebdfe39c31a4cd27745cdf855f 100755
(executable)
--- 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"