Hi:
I've seen that we have an undo-only command and a way to customize a variable to do so for undo-redo.
Is it too complex to implement the same to do a redo-only equivalent in order to bind that to a different key if the user wants so?
There are different external packages for that, but they add some unneeded complexity and are somehow buggy.
Best,
Ergus