summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCheng-Han, Wu2016-04-24 12:29:55 +0800
committerCheng-Han, Wu2016-04-24 12:29:55 +0800
commit0bb3e53d58810030cde9f005aa0184d76fab5a08 (patch)
treec2c231866e8fed97a34e820aff1ffc63d13c88bc
parentb1187a20146bc351b1e0a7669a40c7aff4ec0317 (diff)
Change fullScreen toggle to F10
because Mac OS X default might overwrite F11 and F12 behaviors
-rw-r--r--public/js/index.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/public/js/index.js b/public/js/index.js
index 3aa1250e..2c26e65e 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) {