diff options
| author |  Pratyush Yadav <me@yadavpratyush.com> | 2019-08-26 01:43:23 +0530 |
|---|---|---|
| committer | Pratyush Yadav <me@yadavpratyush.com> | 2019-08-29 03:19:03 +0530 |
| commit | a4fa2f0a4c1a1ef7f2987fb9d38342fcaad78a75 (patch) | |
| tree | 7622f4b862d58bbd132e4789a51b77aa4b941094 /po/glossary/de.po | |
| parent | git-gui: return early when patch fails to apply (diff) | |
| download | tgif-a4fa2f0a4c1a1ef7f2987fb9d38342fcaad78a75.tar.xz | |
git-gui: allow undoing last revert
Accidental clicks on the revert hunk/lines buttons can cause loss of
work, and can be frustrating. So, allow undoing the last revert.
Right now, a stack or deque are not being used for the sake of
simplicity, so only one undo is possible. Any reverts before the
previous one are lost.
Signed-off-by: Pratyush Yadav <me@yadavpratyush.com>
Diffstat (limited to 'po/glossary/de.po')
0 files changed, 0 insertions, 0 deletions