For undocumented shortcuts here’s a list
https://defkey.com/codemirror-shortcuts
Anvil ide uses code mirror. There are some really useful ones
cmd-c |
copies the line you are on |
cmd-g |
iterates through the last thing you searched |
cmd-d |
deletes the line you are on |
cmd-u |
undo last selection |
cmd-] |
indent the current line |
etc…