]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'master' of https://github.com/prati0100/git-gui
authorJunio C Hamano <gitster@pobox.com>
Wed, 18 Sep 2019 18:22:11 +0000 (11:22 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 18 Sep 2019 18:22:11 +0000 (11:22 -0700)
* 'master' of https://github.com/prati0100/git-gui:
  git-gui: add hotkey to toggle "Amend Last Commit"
  git-gui: add horizontal scrollbar to commit buffer
  git-gui: convert new/amend commit radiobutton to checkbutton
  git-gui: add hotkeys to set widget focus
  git-gui: allow undoing last revert
  git-gui: return early when patch fails to apply
  git-gui: allow reverting selected hunk
  git-gui: allow reverting selected lines

1  2 
git-gui/git-gui.sh
git-gui/lib/checkout_op.tcl
git-gui/lib/commit.tcl
git-gui/lib/diff.tcl
git-gui/lib/index.tcl

Simple merge
Simple merge
Simple merge
Simple merge
Simple merge