7081: Some Keyboard shortcuts do not work

- [OS X] CommandEditor: fixed bug where Cmd+Enter did not work.