[PATCH] Teach gitk to use the user-defined UI font everywhere.
tree2c1f0ed75b8ccae465ec16defdf445d8c53717c0
-rwxr-xr-x 175662 gitk