From dcfff04c97cc4415623c9fc103c581346c87412a Mon Sep 17 00:00:00 2001
From: Jonas Kohl
Date: Thu, 7 Nov 2024 18:15:56 +0100
Subject: Add download button

---
 public/index.php | 1 +
 1 file changed, 1 insertion(+)

(limited to 'public/index.php')

diff --git a/public/index.php b/public/index.php
index e767a65..b6ac78e 100644
--- a/public/index.php
+++ b/public/index.php
@@ -150,6 +150,7 @@ $csrf = csrf_token();
         <textarea maxlength="16383" id="editor" name="code" rows="20"><?= htmlentities($code ?? $defaultCode) ?></textarea>
         <div id="toolbar">
             <button type="submit">&#9654;&nbsp;Compile &amp; run</button>
+            <button type="button" id="dlCodeButton">Download code as file</button>
         </div>
     </form>
     <div id="output" style="display: none;"></div>
-- 
cgit v1.2.3