Teach git-gui to use the user-defined UI font everywhere.