Client javascript support: fixes #18

2016-12-05 15:40:52 +02:00
parent 0e2edf3f48
commit 2fc9f06fdf
4 changed files with 28 additions and 3 deletions
--- a/preview.html
+++ b/preview.html
@@ -10,7 +10,7 @@
         line-height: 1.2em;
     }
    </style>
-    <script src="http://code.jquery.com/jquery-1.11.0.min.js"></script>
+    ${MD_JS}
    <script>
     (function($, undefined) {
         var socket = new WebSocket("ws://${WS_HOST}:${WS_PORT}");