diff options
Diffstat (limited to 'public/index.php')
| -rw-r--r-- | public/index.php | 1 |
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">▶ Compile & run</button> + <button type="button" id="dlCodeButton">Download code as file</button> </div> </form> <div id="output" style="display: none;"></div> |