index.html 3.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105
  1. <html>
  2. <head>
  3. <meta charset="UTF-8">
  4. <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
  5. <title>Interactive notebook</title>
  6. <link href="css/mditor.min.css" rel="stylesheet">
  7. <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bootstrap@4.4.1/dist/css/bootstrap.min.css"
  8. integrity="sha384-Vkoo8x4CGsO3+Hhxv8T/Q5PaXtkKtu6ug5TOeNV6gBiFeWPGFN9MuhOf23Q9Ifjh" crossorigin="anonymous">
  9. <style>
  10. .container {
  11. margin: 45px auto;
  12. max-width: 880px;
  13. }
  14. #input-container {
  15. margin-top: 20px;
  16. }
  17. #title {
  18. text-align: center;
  19. position: absolute;
  20. left: 50%;
  21. transform: translateX(-50%)
  22. }
  23. .markdown-body blockquote, .markdown-body dl, .markdown-body ol, .markdown-body p, .markdown-body pre, .markdown-body table, .markdown-body ul {
  24. margin-bottom: 0px;
  25. }
  26. </style>
  27. </head>
  28. <body>
  29. <div class="container">
  30. <div tabindex="1" class="mditor preview" style="width:auto;height: 400px">
  31. <div class="head">
  32. <ul class="toolbar">
  33. <span id="title">Interactive notebook</span>
  34. <!-- <i data-cmd="toggleFullScreen" class="item fa fa-arrows-alt control" title="全屏 shift+alt+f"></i>
  35. <i data-cmd="togglePreview" class="item fa fa-desktop active control" title="预览 shift+alt+v"></i>
  36. <i data-cmd="toggleSplit" class="item fa fa-columns control" title="分屏 shift+alt+s"></i>-->
  37. </ul>
  38. </div>
  39. <div class="body">
  40. <div class="viewer">
  41. <div class="markdown-body" id="markdown-body">
  42. </div>
  43. </div>
  44. </div>
  45. </div>
  46. <div id="input-container">
  47. </div>
  48. </div>
  49. <script src="js/mustache.min.js"></script>
  50. <script src="js/mditor.min.js"></script>
  51. <script src="js/async.min.js"></script>
  52. <script src="js/form.js"></script>
  53. <script src="https://cdn.jsdelivr.net/npm/jquery@3.4.1/dist/jquery.min.js"></script>
  54. <script src="https://cdn.jsdelivr.net/npm/popper.js@1.16.0/dist/umd/popper.min.js"
  55. integrity="sha384-Q6E9RHvbIyZFJoft+2mJbHaEWldlvI9IOYy5n3zV9zzTtmI3UksdQRVvoxMfooAo"
  56. crossorigin="anonymous"></script>
  57. <script src="https://cdn.jsdelivr.net/npm/bootstrap@4.4.1/dist/js/bootstrap.min.js"
  58. integrity="sha384-wfSDF2E50Y2D1uUdj0O3uMBJnjuUD4Ih7YwaYd1iqfktj0Uod8GCExl3Og8ifwB6"
  59. crossorigin="anonymous"></script>
  60. <script>
  61. var md_body = $('#markdown-body');
  62. var ws = new WebSocket("ws://localhost:8080/test");
  63. var ctrl = new WSREPL.WSREPLController(ws, md_body, $('#input-container'));
  64. var old_send = ws.send;
  65. ws.send = function (d) {
  66. // console.log('<<<', JSON.parse(d));
  67. old_send.apply(this, arguments);
  68. };
  69. ws.onopen = function () {
  70. // ws.send("Hello, world");
  71. };
  72. var viewer = $('.viewer');
  73. ws.onmessage = function (evt) {
  74. viewer.scrollTop(md_body[0].scrollHeight); // 自动滚动
  75. var msg = JSON.parse(evt.data);
  76. console.log('>>>', msg);
  77. ctrl.handle_message(msg);
  78. };
  79. ws.onclose = function () {
  80. document.title = 'Closed';
  81. $('#title').text('Closed');
  82. }
  83. </script>
  84. </body>
  85. </html>