Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
git-gui: Only allow Refresh in diff context menu when we have a diff.
There is no reason to attempt refreshing an empty diff viewer, so the Refresh option of our diff context menu should be disabled when there is no diff currently shown. Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
- Loading branch information