|
|
@@ -13,4 +13,4 @@ const portal = new MagicPortal(worker);
|
|
|
const workerThread = await portal.get('workerThread');
|
|
|
window.workerThread = workerThread;
|
|
|
})();
|
|
|
-</script><script src="/static/js/main.js"></script><script src="/static/js/highlight.min.js"></script></body></html>
|
|
|
+</script><script src="/static/js/main.js"></script><script src="/static/js/highlight.min.js"><script src="/static/js/interact.min.js"></script></body></html>
|