From 78f445ab382e53866f5a7fd6b78d119406424ad0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marek=20Ma=C5=A1karinec?= <marek@mrms.cz>
Date: Wed, 17 Apr 2024 09:46:29 +0100
Subject: [PATCH] Fix image example in playground
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Marek Maškarinec <marek@mrms.cz>
---
 etc/playground.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/playground.html b/etc/playground.html
index 49c2d70..2d37fc5 100644
--- a/etc/playground.html
+++ b/etc/playground.html
@@ -221,7 +221,7 @@ <h1>Tophat playground</h1>
             break;
           case "Draw an image":
             window.jar.updateCode(
-`import ("window.um"; "image.um"; "th.um"; "signal.um")
+`import ("window.um"; "image.um"; "th.um"; "signal.um"; "std.um")
 
 var img: image.Image