Shawn O. Pearce 92148d8091 git-gui: Allow the user to manipulate the fonts from the options panel. ... This turned out to take a lot more time than I thought it would take; but now users can edit the main UI font and the diff/fixed with font by changing both the family name and/or the point size of the text. We save the complete Tk font specification to the user's ~/.gitconfig file upon saving options. This is probably more verbose than it needs to be as there are many useless options recorded (e.g. -overstrike 0) that a user won't really want to use in this application. Signed-off-by: Shawn O. Pearce <spearce@spearce.org>		2006-11-12 05:27:00 -05:00
TODO	git-gui: Updated TODO list now that geometry is stored.	2006-11-12 00:16:00 -05:00
git-citool	…
git-gui	git-gui: Allow the user to manipulate the fonts from the options panel.	2006-11-12 05:27:00 -05:00