Fix some indentation
This commit is contained in:
parent
42ac80eb0e
commit
b1187a2014
1 changed files with 3 additions and 3 deletions
|
@ -2,11 +2,11 @@ var defaultTextHeight = 20;
|
||||||
var viewportMargin = 20;
|
var viewportMargin = 20;
|
||||||
var defaultExtraKeys = {
|
var defaultExtraKeys = {
|
||||||
"F11": function(cm) {
|
"F11": function(cm) {
|
||||||
cm.setOption("fullScreen", !cm.getOption("fullScreen"));
|
cm.setOption("fullScreen", !cm.getOption("fullScreen"));
|
||||||
},
|
},
|
||||||
"Esc": function(cm) {
|
"Esc": function(cm) {
|
||||||
if (cm.getOption('keyMap').substr(0, 3) === 'vim') return CodeMirror.Pass;
|
if (cm.getOption('keyMap').substr(0, 3) === 'vim') return CodeMirror.Pass;
|
||||||
else if(cm.getOption("fullScreen")) cm.setOption("fullScreen", false);
|
else if(cm.getOption("fullScreen")) cm.setOption("fullScreen", false);
|
||||||
},
|
},
|
||||||
"Cmd-S": function () {
|
"Cmd-S": function () {
|
||||||
return CodeMirror.Pass
|
return CodeMirror.Pass
|
||||||
|
|
Loading…
Reference in a new issue