author | Shawn O. Pearce <spearce@spearce.org> | |
Sun, 12 Nov 2006 11:53:56 +0000 (06:53 -0500) | ||
committer | Shawn O. Pearce <spearce@spearce.org> | |
Sun, 12 Nov 2006 11:53:56 +0000 (06:53 -0500) | ||
commit | 8009dcdc8d9bee0b5aab1f6e860a834ffbb0b08f | |
tree | 41025192cb940293691df718632f545e14de6861 | tree | snapshot |
parent | e01b42211cad31b1262d152b7e2561cb8bf218ed | commit | diff |
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>
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 | diff | blob | history |