hotkeys: make Alt + Shift + R an alternative for "revert"
commit35dde5c1670224438293d533fb406196cc3bc219
authorDavid Aguilar <davvid@gmail.com>
Fri, 22 Sep 2023 08:17:42 +0000 (22 01:17 -0700)
committerDavid Aguilar <davvid@gmail.com>
Fri, 22 Sep 2023 08:17:48 +0000 (22 01:17 -0700)
treed3a937381ec1fe9f6d97e9bc80d27db8fa0f8718
parent15daf9e9ec2613eddf16feb09a907288179a8b2a
hotkeys: make Alt + Shift + R an alternative for "revert"

Make it easier to drive Git Cola with just one hand on the keyboard.

Closes: #1347
Suggested-by: Stanislaw Halik <sthalik@misaki.pl>
Signed-off-by: David Aguilar <davvid@gmail.com>
cola/hotkeys.py
cola/widgets/browse.py
cola/widgets/diff.py
cola/widgets/status.py
docs/hotkeys.html
docs/hotkeys_de.html
docs/hotkeys_zh_CN.html
docs/hotkeys_zh_TW.html