[PATCH] Provide configurable UI font for gitk
-rwxr-xr-x 110331 gitk