502647092/UserScript
1
0
Fork 0
Code Releases Activity

更新 'WebIDE/enhance.user.js'

Browse Source
This commit is contained in:
502647092 2018-05-15 19:11:55 +08:00
parent 85c547b56a
commit eeee574233
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
WebIDE/enhance.user.js
View File

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