Hey. First, thanks for your work on this awesome plugin. It works just nice and is the best code editor for WordPress, imo.
Is there an overview of keyboard shortcuts somewhere?
The only thing I miss so far is a shortcut for SAVE. If there's none yet, please implement some AJAX save-shortcut. I really wanna use CMD+S to save the current file.