Change fullScreen toggle to F10

because Mac OS X default might overwrite F11 and F12 behaviors
This commit is contained in:
Cheng-Han, Wu 2016-04-24 12:29:55 +08:00
parent b1187a2014
commit 0bb3e53d58

View file

@ -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) {