From 92869441ec249b0fc6adeaa2dc9a2cf275b7219e 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:21:51 +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 | 28 +++++++++++++++-------------
 1 file changed, 15 insertions(+), 13 deletions(-)

diff --git a/public/javascripts/jupyter.js b/public/javascripts/jupyter.js
index faa4ff9d8..a0e06dc70 100644
--- a/public/javascripts/jupyter.js
+++ b/public/javascripts/jupyter.js
@@ -17,20 +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) {
 
-// 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;
-
+	}
+}
+document.onkeydown = keyDown;