do we want shift-single-key-undo to be redo?
For some reason, we did this commit 5dc75b9f that adds shift+g as redo.
Why? Seems sort of handy I guess. Options:
- Remove it
- Make shift-single-key-undo be redo
That is, do this during the key assignment, so if user makes
b undo then shift-b is redo. I can't think of an easy way to document that in the current design (whereby only single-keys are allowed for reprogrammable keys).
- Well, a slightly different design would allow this (including docs) for the canned overlays but not for the custom overlays. Maybe that's the right approach for this... It also might solve the current issue of