git-gui: Rename difffont/mainfont variables.
commit3963678da9e78e87fa9b57f2f3ad75ba1c70e589
authorShawn O. Pearce <spearce@spearce.org>
Sat, 11 Nov 2006 23:46:52 +0000 (11 18:46 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Sun, 12 Nov 2006 05:16:02 +0000 (12 00:16 -0500)
treed1b1fd7e5e392cc4f0ea81e816980538e7ebb879
parent73ad179bbbba56c053045c555b7e5f1882380533
git-gui: Rename difffont/mainfont variables.

I found difffont to be a very awkward varible name, due to the use
of three f's in a row.  So use easier to read variable names.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui