Teach git-gui to use the user-defined UI font everywhere.
tree1bfc253b903cdb0ffa9988bf6037e968dcb8ba9d
-rw-r--r-- 36 .gitignore
-rwxr-xr-x 1814 GIT-VERSION-GEN
-rw-r--r-- 1725 Makefile
-rwxr-xr-x 150116 git-gui.sh