调整jupyte

public/javascripts/jupyter.js

@@ -18,18 +18,18 @@ function runEvery10Sec() {
 }
 
 
-function keyDown(e){
+// function keyDown(e){
-	e.preventDefault();
+// 	e.preventDefault();
-	var currKey=0, e=e||event||window.event;
+// 	var currKey=0, e=e||event||window.event;
-	currKey = e.keyCode||e.which||e.charCode;
+// 	currKey = e.keyCode||e.which||e.charCode;
-	if(currKey == 83 && (e.ctrlKey||e.metaKey)){
+// 	if(currKey == 83 && (e.ctrlKey||e.metaKey)){
-		console.log("点击了ctrl+s");
+// 		console.log("点击了ctrl+s");
-		console.log("开始发送消息了ctrl+s");
+// 		console.log("开始发送消息了ctrl+s");
-		window.parent.postMessage('jupytermessage','*');
+// 		window.parent.postMessage('jupytermessage','*');
-		return true;
+// 		return true;
-	}
+// 	}
-}
+// }
-document.onkeydown = keyDown;
+// document.onkeydown = keyDown;