From 1d02ba022a44784277b3e5829c61d365afb869f7 Mon Sep 17 00:00:00 2001 From: Can Date: Mon, 20 Jan 2025 11:34:53 +0100 Subject: feat: timers --- src/renderers/js.effekt | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) (limited to 'src/renderers/js.effekt') diff --git a/src/renderers/js.effekt b/src/renderers/js.effekt index 080555d..ab7cc53 100644 --- a/src/renderers/js.effekt +++ b/src/renderers/js.effekt @@ -44,13 +44,24 @@ val pageContent = """
- +

Logs:


       
+ """ @@ -112,7 +123,7 @@ extern io def get(x: Int, y: Int): Bool = jsWeb """ extern io def update(f: () => Unit at {io, global}): Unit = jsWeb """ setInterval(() => { $effekt.runToplevel((ks) => ${f}(ks)); - }, 1000 / 60); + }, 1000 / 120); """ namespace JSRenderer { -- cgit v1.2.3