Andrew's git
/
gitweb.git
/ blobdiff
summary
|
log
|
commit
|
diff
|
tree
commit
grep
author
committer
pickaxe
?
re
git-gui: Attach font_ui to all spinbox widgets
[gitweb.git]
/
git-gui.sh
diff --git
a/git-gui.sh
b/git-gui.sh
index a8185a3014d4f10f11efe9ff7b917b89fc07cf03..daee5601b19411e3749f9bcdc36bce6ce23b224d 100755
(executable)
--- a/
git-gui.sh
+++ b/
git-gui.sh
@@
-1205,7
+1205,7
@@
font create font_diffbold
foreach class {Button Checkbutton Entry Label
Labelframe Listbox Menu Message
- Radiobutton Text} {
+ Radiobutton
Spinbox
Text} {
option add *$class.font font_ui
}
unset class