git-gui: Only allow Refresh in diff context menu when we have a diff.