undoodily doodily
Posted: Tue Jun 18, 2019 1:16 am
Hi,
I often find myself reaching for wrong shortcuts in the editor (from a couple of different environments):
(* Ctrl-R does currently invoke 'Draw Outline Rectangles', but so does 'r', so it doesn't seem like an important shortcut)
I often find myself reaching for wrong shortcuts in the editor (from a couple of different environments):
- Ctrl-Z for Undo
- Ctrl-Shift-Z for Redo
- Ctrl-R for Redo
(* Ctrl-R does currently invoke 'Draw Outline Rectangles', but so does 'r', so it doesn't seem like an important shortcut)