From ce214e61e4edc2d0157619187714caf4a49c0aa8 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:17:02 +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 | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/public/javascripts/jupyter.js b/public/javascripts/jupyter.js
index 7692b791d..faa4ff9d8 100644
--- a/public/javascripts/jupyter.js
+++ b/public/javascripts/jupyter.js
@@ -18,18 +18,18 @@ function runEvery10Sec() {
 }
 
 
-function keyDown(e){
-	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;
-	}
-}
-document.onkeydown = keyDown;
+// function keyDown(e){
+// 	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;
+// 	}
+// }
+// document.onkeydown = keyDown;