git-gui: Add Refresh to diff viewer context menu.

Sometimes you want to just force the diff to redisplay itself without
rescanning every file in the filesystem (as that can be very costly
on large projects and slow operating systems).  Now you can force a
diff-only refresh from the context menu.  Previously you could also
do this by reclicking on the file name in the UI, but it may not be
obvious to all users, having a context menu option makes it more
clear.

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

diff --git a/git-gui.sh b/git-gui.sh
index aa8f0ba067a0bdb041fc854be3ebf9eb0f7c0f84..f618a60d7be6d7091918ac915d6b01d219e93b5e 100755 (executable)
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -3921,6 +3921,10 @@ $ui_diff tag conf d>>>>>>> \
 #
 set ctxm .vpane.lower.diff.body.ctxm
 menu $ctxm -tearoff 0
+$ctxm add command \
+       -label {Refresh} \
+       -font font_ui \
+       -command reshow_diff
 $ctxm add command \
        -label {Copy} \
        -font font_ui \