Add ports to github pages version

annaghi · Jul 26, 2023 · 6eb1394 · 6eb1394
1 parent 9542af2
commit 6eb1394
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -23,6 +23,18 @@
   <body>
     <script>
       Elm.Main.init();
+
+      app.ports.releasePointerCapture.subscribe( event => {
+        event.target.releasePointerCapture(event.pointerId)
+		  })
+
+      window.addEventListener("pointermove", (event) => {
+        app.ports.onPointerMove.send(event);
+      });
+
+      window.addEventListener("pointerup", (event) => {
+        app.ports.onPointerUp.send(event);
+      });
     </script>
   </body>
 </html>