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

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 \