diff options
| author | Cheng-Han, Wu | 2016-04-24 12:29:55 +0800 |
|---|---|---|
| committer | Cheng-Han, Wu | 2016-04-24 12:29:55 +0800 |
| commit | 0bb3e53d58810030cde9f005aa0184d76fab5a08 (patch) | |
| tree | c2c231866e8fed97a34e820aff1ffc63d13c88bc /public/js/index.js | |
| parent | b1187a20146bc351b1e0a7669a40c7aff4ec0317 (diff) | |
Change fullScreen toggle to F10
because Mac OS X default might overwrite F11 and F12 behaviors
Diffstat (limited to 'public/js/index.js')
| -rw-r--r-- | public/js/index.js | 2 |
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) { |