更新 'WebIDE/enhance.user.js'

This commit is contained in:
502647092 2018-05-15 17:52:24 +08:00
parent 0e49b26996
commit b46bd76fa2

View File

@ -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];