From b46bd76fa29978209a437173d12b5764c78c63ae Mon Sep 17 00:00:00 2001
From: 502647092 <admin@yumc.pw>
Date: Tue, 15 May 2018 17:52:24 +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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/WebIDE/enhance.user.js b/WebIDE/enhance.user.js
index eedc798..e8befd4 100644
--- a/WebIDE/enhance.user.js
+++ b/WebIDE/enhance.user.js
@@ -18,7 +18,7 @@
             clearInterval(id);
         }
     }, 300)
-	document.onkeydown = function() {
+    document.onkeydown = function() {
         var e = window.event;
         if (e.keyCode == 87 && e.altKey) {
             var activeTab = document.getElementsByClassName('tab-label active')[0];