Add download button

1 files changed, 1 insertions, 0 deletions

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>