diff --git a/public/javascripts/jupyter.js b/public/javascripts/jupyter.js index 62d85f325..c9afaaa24 100644 --- a/public/javascripts/jupyter.js +++ b/public/javascripts/jupyter.js @@ -17,22 +17,6 @@ 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(){ document.addEventListener('keydown', function(e){ if (e.keyCode == 83 && (navigator.platform.match("Mac") ? e.metaKey : e.ctrlKey)){