diff options
-rwxr-xr-x | git-gui.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/git-gui.sh b/git-gui.sh index 48097ea5e8..36155bb8ea 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -5256,6 +5256,12 @@ if {[is_enabled branch]} { -font font_ui lappend disable_on_lock [list .mbar.branch entryconf \ [.mbar.branch index last] -state] + + .mbar.branch add command -label {Reset...} \ + -command do_reset_hard \ + -font font_ui + lappend disable_on_lock [list .mbar.branch entryconf \ + [.mbar.branch index last] -state] } # -- Commit Menu |