codeeditor: fixing keyboard bindings on linux