Merge branch 'bp/widget-focus-hotkeys'
authorPratyush Yadav <me@yadavpratyush.com>
Wed, 11 Sep 2019 21:10:24 +0000 (02:40 +0530)
committerPratyush Yadav <me@yadavpratyush.com>
Wed, 11 Sep 2019 21:10:24 +0000 (02:40 +0530)
git-gui learned to switch focus between widgets "unstaged commits",
"staged commits", "diff", and "commit message" using the keyboard
shortcuts Alt+1, Alt+2, Alt+3, and Alt+4 respectively.

* bp/widget-focus-hotkeys:
git-gui: add hotkeys to set widget focus

Trivial merge