Hotkey for undo/redo #707
Labels
enhancement
New feature or request
good first issue
Good for newcomers
QoL
small change the improves the feel of using the tool
Milestone
Uh oh!
There was an error while loading. Please reload this page.
Describe your issue
It's nice that we've got undo/redo buttons in the Header:
but if my hands are on the keyboard, I lose hundreds of milliseconds moving my hands to the mouse in order to click one of those options.
Solution you'd like
If there's something to undo, pressing Ctrl + Z should undo it.
If there's something to redo, pressing Ctrl + Shift + Z should redo it.
Alternatives you've considered
No response
Additional context
No response
Technical ideas and questions
Should be very similar to setting the score for the selected node/edge, except:
The text was updated successfully, but these errors were encountered: