diff --git a/public/js/index.js b/public/js/index.js index 3aa1250..2c26e65 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -1,7 +1,7 @@ var defaultTextHeight = 20; var viewportMargin = 20; var defaultExtraKeys = { - "F11": function(cm) { + "F10": function (cm) { cm.setOption("fullScreen", !cm.getOption("fullScreen")); }, "Esc": function(cm) {