git-gui: Allow the user to manipulate the fonts from the options panel.
treee40ccb07118d43a7f50d8585dfda4bec521e7a5d
-rw-r--r-- 1234 TODO
lrwxrwxrwx 7 git-citool -> git-gui
-rwxr-xr-x 58297 git-gui