Closed jaltekruse closed 2 years ago
@jaltekruse Thank you for your contribution. I will merge after a little test.
This issue has been automatically marked as inactive because there hasn’t been much going on it lately. It is going to be closed after 7 days. Thanks!
This issue will be closed due to inactivity. Thanks for your contribution!
I think this would still be useful to merge, I don't know if I have permission to re-open it
@jaltekruse I think so, too. But more tests are needed.
This issue has been automatically marked as inactive because there hasn’t been much going on it lately. It is going to be closed after 7 days. Thanks!
This issue will be closed due to inactivity. Thanks for your contribution!
This issue will be closed due to inactivity. Thanks for your contribution!
Please check if the PR fulfills these requirements
fix #xxx[,#xxx]
, where "xxx" is the issue number)Description
The original submitted fix for this issue didn't address the bug when the keyboard shortcut is used for undo or redo. This change works both for the buttons and for keyboard events.