diff --git a/WebIDE/enhance.user.js b/WebIDE/enhance.user.js index eedc798..e8befd4 100644 --- a/WebIDE/enhance.user.js +++ b/WebIDE/enhance.user.js @@ -18,7 +18,7 @@ clearInterval(id); } }, 300) - document.onkeydown = function() { + document.onkeydown = function() { var e = window.event; if (e.keyCode == 87 && e.altKey) { var activeTab = document.getElementsByClassName('tab-label active')[0];