From 8b064c3d42c2555aa7f3398b4d4615e4206e9fc0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=9D=A8=E6=A0=91=E6=9E=97?= <904079904@qq.com>
Date: Fri, 20 Dec 2019 19:24:34 +0800
Subject: [PATCH] =?UTF-8?q?=E8=B0=83=E6=95=B4jupyte?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 public/javascripts/jupyter.js | 32 ++++++++++++++++----------------
 1 file changed, 16 insertions(+), 16 deletions(-)

diff --git a/public/javascripts/jupyter.js b/public/javascripts/jupyter.js
index a0e06dc70..446a9e94c 100644
--- a/public/javascripts/jupyter.js
+++ b/public/javascripts/jupyter.js
@@ -17,22 +17,22 @@ function runEvery10Sec() {
 	setTimeout( runEvery10Sec, 1000 * 10 );
 }
 
-function keyDown(e){
-	try {
-		e.preventDefault();
-		var currKey=0, e=e||event||window.event;
-		currKey = e.keyCode||e.which||e.charCode;
-		if(currKey == 83 && (e.ctrlKey||e.metaKey)){
-			console.log("点击了ctrl+s");
-			console.log("开始发送消息了ctrl+s");
-			window.parent.postMessage('jupytermessage','*');
-			return true;
-		}
-	}catch (e) {
-
-	}
-}
-document.onkeydown = keyDown;
+// function keyDown(e){
+// 	try {
+// 		e.preventDefault();
+// 		var currKey=0, e=e||event||window.event;
+// 		currKey = e.keyCode||e.which||e.charCode;
+// 		if(currKey == 83 && (e.ctrlKey||e.metaKey)){
+// 			console.log("点击了ctrl+s");
+// 			console.log("开始发送消息了ctrl+s");
+// 			window.parent.postMessage('jupytermessage','*');
+// 			return true;
+// 		}
+// 	}catch (e) {
+//
+// 	}
+// }
+// document.onkeydown = keyDown;