From 5ac69ba7e2f6dfbe580919968ae661b1487cdbb0 Mon Sep 17 00:00:00 2001
From: Jan-Erik Rediger <janerik@fnordig.de>
Date: Sat, 25 May 2024 18:43:26 +0200
Subject: [PATCH] leave a message if js is disabled

---
 frontend/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend/index.html b/frontend/index.html
index 11a1cf7..cc93182 100644
--- a/frontend/index.html
+++ b/frontend/index.html
@@ -21,7 +21,7 @@
       <a href="https://docs.harelang.org/">Standard Library Reference</a>
     </span>
 
-    <div class="editor language-c"></div>
+    <div class="editor language-c">Sorry, this playground requires JavaScript. :(</div>
 
     <codapi-settings url="https://hare-exec.fly.dev/v1"></codapi-settings>
     <codapi-snippet sandbox="hare" editor="external" selector=".editor"></codapi-snippet>