[GIT PULL] git-gui pull request

Hi Junio,

There were some topics and discussion related to git-gui in flight. Most of them have been stabilized, and merged in. So I think it's a good time to pull in those changes.

--- The following changes since commit 5ab72271e16ac23c269f5019a74a7b1d65170e47:

  Merge remote-tracking branch 'philoakley/dup-gui' (2017-03-18 15:35:09 +0000)

are available in the Git repository at:

  https://github.com/prati0100/git-gui.git 

for you to fetch changes up to f7a8834ba4aa20ec750833cf8d30d9a9fed5eade:

  Merge branch 'bp/amend-toggle-bind' (2019-09-14 23:23:12 +0530)

----------------------------------------------------------------
Bert Wesarg (2):
      git-gui: convert new/amend commit radiobutton to checkbutton
      git-gui: add horizontal scrollbar to commit buffer

Birger Skogeng Pedersen (2):
      git-gui: add hotkeys to set widget focus
      git-gui: add hotkey to toggle "Amend Last Commit"

Pratyush Yadav (9):
      git-gui: allow reverting selected lines
      git-gui: allow reverting selected hunk
      git-gui: return early when patch fails to apply
      git-gui: allow undoing last revert
      Merge branch 'bp/widget-focus-hotkeys'
      Merge branch 'py/revert-hunks-lines'
      Merge branch 'bw/amend-checkbutton'
      Merge branch 'bw/commit-scrollbuffer'
      Merge branch 'bp/amend-toggle-bind'

 git-gui.sh          | 140 ++++++++++++++++++++++++++++++++++++++++------------
 lib/checkout_op.tcl |   6 +--
 lib/commit.tcl      |   4 +-
 lib/diff.tcl        |  96 +++++++++++++++++++++++++++++------
 lib/index.tcl       |   8 +--
 5 files changed, 199 insertions(+), 55 deletions(-)