r/p5.js-web-editor
1
0
Fork 0
Code Issues 1 Pull requests Releases 1 Wiki Activity

Set Ctrl+Enter shortcuts to null, don't generate newlines (#333)

Browse source
This commit is contained in:
JunShern 2017-04-06 02:50:44 +01:00 committed by Cassie Tarakajian
parent bece2292fb
commit 8e82fe96c3
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
client/modules/IDE/components/Editor.jsx
View file

@ -73,7 +73,9 @@ class Editor extends React.Component {
this._cm.setOption('extraKeys', { this._cm.setOption('extraKeys', {
'Cmd-Enter': () => null, 'Cmd-Enter': () => null,
'Shift-Cmd-Enter': () => null 'Shift-Cmd-Enter': () => null,
'Ctrl-Enter': () => null,
'Shift-Ctrl-Enter': () => null
}); });
this.initializeDocuments(this.props.files); this.initializeDocuments(this.props.files);