Re:Rust Playground
by steveklabnik on Thursday July 09, 2020 @10:26AM
(#23780596)
It farms out this behavior to the Ace editor it uses. I'm not sure what all it supports, but that's how you'd figure it out.
[ Parent
| on HN ]
Thanks for the tip! If anyone is curious I found the list of commands here: https://github.com/ajaxorg/ace/blob/master/lib/ace/keyboard/...