[PATCH] Teach gitk to use the user-defined UI font everywhere.
commitd59c4b6fb731e5fddb458106b2e18eed1087c507
authorEygene Ryabinkin <rea-git@codelabs.ru>
Tue, 27 Mar 2007 10:36:12 +0000 (27 14:36 +0400)
committerPaul Mackerras <paulus@samba.org>
Sun, 1 Apr 2007 02:47:06 +0000 (1 12:47 +1000)
tree2c1f0ed75b8ccae465ec16defdf445d8c53717c0
parent1ce09dd6787c495986c75b37b07ba6bbf19b47da
[PATCH] Teach gitk to use the user-defined UI font everywhere.

Some parts of gitk were not respecting the default GUI font. Most
of them were catched and fixed.

Signed-off-by: Eygene Ryabinkin <rea-git@codelabs.ru>
Signed-off-by: Paul Mackerras <paulus@samba.org>
gitk