[ new ] fetch canvas dimensions

stefan-hoeck · Jul 21, 2023 · 281526e · 281526e
1 parent 67d4e6e
commit 281526e
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/Web/MVC/Canvas.idr b/src/Web/MVC/Canvas.idr
@@ -22,6 +22,14 @@ record CDims where
   cwidth  : Double
   cheight : Double
 
+export
+cdims : Ref Canvas -> JSIO CDims
+cdims r = do
+  canvas <- castElementByRef {t = HTMLCanvasElement} r
+  w      <- cast <$> get canvas width
+  h      <- cast <$> get canvas height
+  pure $ CD w h
+
 export
 context2D : HTMLCanvasElement -> JSIO CanvasRenderingContext2D
 context2D canvas = do