projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce08872) | patch
[PATCH] Provide configurable UI font for gitk
authorKeith Packard <keithp@keithp.com>
Tue, 4 Apr 2006 07:19:45 +0000 (00:19 -0700)
committerPaul Mackerras <paulus@samba.org>
Wed, 5 Apr 2006 00:29:47 +0000 (10:29 +1000)
commit4840be66b10fd5e5d67e27a8d0c67a96d5b8356a
treeeeb86cefc9710f198c07908df1d4b5d17ad1d57etree | snapshot
parentce08872259d3036f424070cb5a9a4d5ec67f1f7acommit | 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>
gitk diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.