git-gui: Added Options... menu item to end of diff context menu.
authorShawn O. Pearce <spearce@spearce.org>
Sun, 12 Nov 2006 11:53:56 +0000 (06:53 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Sun, 12 Nov 2006 11:53:56 +0000 (06:53 -0500)
commit8009dcdc8d9bee0b5aab1f6e860a834ffbb0b08f
tree41025192cb940293691df718632f545e14de6861
parente01b42211cad31b1262d152b7e2561cb8bf218ed
git-gui: Added Options... menu item to end of diff context menu.

Since the font name can only be chosen from within the options dialog
giving the user fast access to this dialog from within a context menu
that already talks about increasing and decreasing the font size may
help users to locate the font name setting as well.

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