调整jupyter tpi

public/javascripts/jupyter.js

@@ -16,3 +16,17 @@ function runEvery10Sec() {
 	window.parent.postMessage('jupytermessage','*');
 	setTimeout( runEvery10Sec, 1000 * 10 );
 }
+
+
+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;