From 0bb3e53d58810030cde9f005aa0184d76fab5a08 Mon Sep 17 00:00:00 2001
From: Cheng-Han, Wu
Date: Sun, 24 Apr 2016 12:29:55 +0800
Subject: Change fullScreen toggle to F10 because Mac OS X default might
 overwrite F11 and F12 behaviors

---
 public/js/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'public/js/index.js')

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) {
-- 
cgit v1.2.3