From a6b868be713723eb510f21dd65b13c6e5ac753e3 Mon Sep 17 00:00:00 2001 From: 502647092 Date: Tue, 15 May 2018 21:37:56 +0800 Subject: [PATCH] =?UTF-8?q?fix:=20=E4=BF=AE=E5=A4=8D=E6=9C=AA=E6=A3=80?= =?UTF-8?q?=E6=B5=8BAlt=E7=9A=84=E9=97=AE=E9=A2=98?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- WebIDE/enhance.user.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/WebIDE/enhance.user.js b/WebIDE/enhance.user.js index 070e89e..f7922ce 100644 --- a/WebIDE/enhance.user.js +++ b/WebIDE/enhance.user.js @@ -1,7 +1,7 @@ // ==UserScript== // @name WebIDE增强脚本 // @namespace http://ide.yumc.pw/ -// @version 0.7 +// @version 0.8 // @description Coding WebIDE 增强脚本 // @author MiaoWoo // @match http*://ide.yumc.pw/ws/* @@ -64,6 +64,7 @@ } document.onkeydown = function() { var e = window.event; + if (!e.altKey) { return; } switch (e.keyCode) { case 87: // Alt + W 关闭Tab标签页