git-gui: Refactor options menu into an options dialog.
treea41fc661e9524d918ca807f14ecd0fab76051e13
-rw-r--r-- 1234 TODO
lrwxrwxrwx 7 git-citool -> git-gui
-rwxr-xr-x 55333 git-gui