diff options
| author | Shawn O. Pearce <spearce@spearce.org> | 2007-01-24 20:39:30 -0500 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2007-01-25 00:25:32 -0500 |
| commit | 86773d9bfc6124dec7b33094103f4819684bc4ae (patch) | |
| tree | 5937860307b700ce3ac08681f3a5d499c215fc9a /git-commit-script | |
| parent | bb816c5a25e3a87d4d9588ddcccf83b8a10d8d31 (diff) | |
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>
Diffstat (limited to 'git-commit-script')
0 files changed, 0 insertions, 0 deletions