[PATCH] Provide configurable UI font for gitk