I did update Ace to the latest version a few months ago so they might have changed the way keyboard shortcuts work. There's a cheatsheet here, hopefully it's got what you need: https://defkey.com/ace-editor-shortcuts