From eeee5742332d78135391178a20c733170060dd94 Mon Sep 17 00:00:00 2001
From: 502647092 <admin@yumc.pw>
Date: Tue, 15 May 2018 19:11:55 +0800
Subject: [PATCH] =?UTF-8?q?=E6=9B=B4=E6=96=B0=20'WebIDE/enhance.user.js'?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 WebIDE/enhance.user.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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;