author | Keith Packard <keithp@keithp.com> | |
Tue, 4 Apr 2006 07:19:45 +0000 (00:19 -0700) | ||
committer | Paul Mackerras <paulus@samba.org> | |
Wed, 5 Apr 2006 00:29:47 +0000 (10:29 +1000) | ||
commit | 4840be66b10fd5e5d67e27a8d0c67a96d5b8356a | |
tree | eeb86cefc9710f198c07908df1d4b5d17ad1d57e | tree | snapshot |
parent | ce08872259d3036f424070cb5a9a4d5ec67f1f7a | commit | diff |
[PATCH] Provide configurable UI font for gitk
This makes the font used in the UI elements of gitk configurable in the
same way the other fonts are. The default fonts used in the Xft build of
tk8.5 are particularily horrific, making this change more important
there.
Signed-off-by: Keith Packard <keithp@neko.keithp.com>
Acked-by: Junio C Hamano <junkio@cox.net>
Signed-off-by: Paul Mackerras <paulus@samba.org>
This makes the font used in the UI elements of gitk configurable in the
same way the other fonts are. The default fonts used in the Xft build of
tk8.5 are particularily horrific, making this change more important
there.
Signed-off-by: Keith Packard <keithp@neko.keithp.com>
Acked-by: Junio C Hamano <junkio@cox.net>
Signed-off-by: Paul Mackerras <paulus@samba.org>
gitk | diff | blob | history |