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