git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ce09dd)
[PATCH] Teach gitk to use the user-defined UI font everywhere.
authorEygene Ryabinkin <redacted>
Tue, 27 Mar 2007 10:36:12 +0000 (14:36 +0400)
committerPaul Mackerras <redacted>
Sun, 1 Apr 2007 02:47:06 +0000 (12:47 +1000)
commitd59c4b6fb731e5fddb458106b2e18eed1087c507
tree2c1f0ed75b8ccae465ec16defdf445d8c53717c0tree | snapshot
parent1ce09dd6787c495986c75b37b07ba6bbf19b47dacommit | diff
[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 <redacted>
Signed-off-by: Paul Mackerras <redacted>
gitk diff | blob | history
git clone https://git.99rst.org/PROJECT