更新 'WebIDE/enhance.user.js'
This commit is contained in:
parent
b46bd76fa2
commit
20012c5d6f
@ -13,7 +13,7 @@
|
|||||||
'use strict';
|
'use strict';
|
||||||
var id = setInterval(function (){
|
var id = setInterval(function (){
|
||||||
if (document.getElementsByClassName('ide-container')[0]) {
|
if (document.getElementsByClassName('ide-container')[0]) {
|
||||||
document.onbeforeunload = function () { return false; }
|
window.onbeforeunload = function () { return false; }
|
||||||
console.log('已阻止 Ctrl + W 关闭页面...')
|
console.log('已阻止 Ctrl + W 关闭页面...')
|
||||||
clearInterval(id);
|
clearInterval(id);
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user