Ctrl-z (undo), and also Ctrl-x (cut) are browser shortcuts for Edge/Chrome/FF/Opera except Safari where ⌘Z is the text undo shortcut. I have accidentally nuked many programs in the code.pyret.org editor by using Ctrl-A to select all then missing the Tab key and typing a char which of course replaces all selected text with that char.
Should we add Ctrl-z/⌘Z or a different undo to here or no https://github.com/brownplt/code.pyret.org/blob/horizon/src/web/editor.html#L378
Ctrl-z (undo), and also Ctrl-x (cut) are browser shortcuts for Edge/Chrome/FF/Opera except Safari where ⌘Z is the text undo shortcut. I have accidentally nuked many programs in the code.pyret.org editor by using Ctrl-A to select all then missing the Tab key and typing a char which of course replaces all selected text with that char.
Should we add Ctrl-z/⌘Z or a different undo to here or no https://github.com/brownplt/code.pyret.org/blob/horizon/src/web/editor.html#L378