7081: Some Keyboard shortcuts do not work
- [OS X] CommandEditor: fixed bug where Cmd+Enter did not work.
Merge pull request #125 from thomasandersen/issue7081

Issue 7081: Some keyboard shortcuts do not work