diff options
| -rw-r--r-- | public/js/index.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/public/js/index.js b/public/js/index.js index b903a7ba..3aa1250e 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -2,11 +2,11 @@ var defaultTextHeight = 20; var viewportMargin = 20; var defaultExtraKeys = { "F11": function(cm) { - cm.setOption("fullScreen", !cm.getOption("fullScreen")); + cm.setOption("fullScreen", !cm.getOption("fullScreen")); }, "Esc": function(cm) { - if (cm.getOption('keyMap').substr(0, 3) === 'vim') return CodeMirror.Pass; - else if(cm.getOption("fullScreen")) cm.setOption("fullScreen", false); + if (cm.getOption('keyMap').substr(0, 3) === 'vim') return CodeMirror.Pass; + else if(cm.getOption("fullScreen")) cm.setOption("fullScreen", false); }, "Cmd-S": function () { return CodeMirror.Pass |