gitk: Use named fonts instead of the font specification
authorPaul Mackerras <paulus@samba.org>
Thu, 4 Oct 2007 12:27:13 +0000 (22:27 +1000)
committerPaul Mackerras <paulus@samba.org>
Thu, 4 Oct 2007 12:27:13 +0000 (22:27 +1000)
commit9c311b3208f25ce70edf0fdbe0f440ecd8e0bda7
treede852e67fce8ed354a398e20e165b8cbdd0301ae
parent64b5f146fd2252646d23eac925c49ce9cb526de9
gitk: Use named fonts instead of the font specification

This replaces the use of $mainfont, $textfont and $uifont with named
fonts called mainfont, textfont and uifont.  We also have variants
called mainfontbold and textfontbold.  This makes it much easier to
make sure font size changes are reflected everywhere they should be,
since configuring a named font automatically changes all the widgets
that are using that font.

Signed-off-by: Paul Mackerras <paulus@samba.org>
gitk