diff --git a/WebIDE/enhance.user.js b/WebIDE/enhance.user.js index 9491406..070e89e 100644 --- a/WebIDE/enhance.user.js +++ b/WebIDE/enhance.user.js @@ -1,11 +1,11 @@ // ==UserScript== // @name WebIDE增强脚本 // @namespace http://ide.yumc.pw/ -// @version 0.6 +// @version 0.7 // @description Coding WebIDE 增强脚本 // @author MiaoWoo // @match http*://ide.yumc.pw/ws/* -// @match http*://ide.coding.net/ws/* +// @match http*://*.coding.net/ws/* // @grant none // ==/UserScript== @@ -68,7 +68,7 @@ case 87: // Alt + W 关闭Tab标签页 var activeTab = document.getElementsByClassName('tab-label active')[0]; - if (activeTab) { + if (activeTab && activeTab.childNodes[2]) { activeTab.childNodes[2].childNodes[0].click(); } break;