502647092
/
UserScript
1
0
Fork 0
Code Releases Activity

修复无图标标签页无法关闭的问题

master
502647092 2018-07-02 15:48:58 +08:00
parent 655f3cd70c
commit f077826b95
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
WebIDE/enhance.user.js
View File

@ -1,7 +1,7 @@
// ==UserScript== // ==UserScript==
// @name WebIDE增强脚本 // @name WebIDE增强脚本
// @namespace http://ide.yumc.pw/ // @namespace http://ide.yumc.pw/
// @version 0.8 // @version 0.8.1
// @description Coding WebIDE 增强脚本 // @description Coding WebIDE 增强脚本
// @author MiaoWoo // @author MiaoWoo
// @match http*://ide.yumc.pw/ws/* // @match http*://ide.yumc.pw/ws/*
@ -58,8 +58,6 @@
if (keyMap.type === "menu") { document.getElementById(keyMap.menu).click(); } if (keyMap.type === "menu") { document.getElementById(keyMap.menu).click(); }
var item = document.getElementsByClassName(keyMap.class)[0]; var item = document.getElementsByClassName(keyMap.class)[0];
if (item) { item.click() } if (item) { item.click() }
} else {
console.log(key);
} }
} }
document.onkeydown = function() { document.onkeydown = function() {
@ -69,8 +67,9 @@
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 && activeTab.childNodes[2]) { if (activeTab) {
activeTab.childNodes[2].childNodes[0].click(); var nodes = activeTab.childNodes;
nodes[nodes.length - 1].childNodes[0].click();
} }
break; break;
case 81: case 81: