Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
gitk: Set the font for all listbox widgets
author
Mark Hills
<mark@pogo.org.uk>
Wed, 13 Jan 2010 20:40:20 +0000
(20:40 +0000)
committer
Paul Mackerras
<paulus@samba.org>
Sat, 20 Mar 2010 09:53:21 +0000
(20:53 +1100)
This affects the font chooser.
Signed-off-by: Mark Hills <mark@pogo.org.uk>
Signed-off-by: Paul Mackerras <paulus@samba.org>
gitk
patch
|
blob
|
history
raw
|
patch
| inline |
side by side
(parent:
0933b04
)
diff --git
a/gitk
b/gitk
index f1e70ad04714e87efffaa6ccbd25e4c81b321624..ccfc8dd89d01030d9c3c3fade37deb5860a80439 100755
(executable)
--- a/
gitk
+++ b/
gitk
@@
-1880,6
+1880,7
@@
proc setoptions {} {
option add *Entry.font uifont startupFile
option add *Labelframe.font uifont startupFile
option add *Spinbox.font textfont startupFile
+ option add *Listbox.font mainfont startupFile
}
# Make a menu and submenus.