diff options
author | Jonas Kohl | 2024-11-08 11:51:40 +0100 |
---|---|---|
committer | Jonas Kohl | 2024-11-08 11:51:40 +0100 |
commit | 7542a02170aa8e779fd3ed12d6b4332ff99f22a6 (patch) | |
tree | 7d539af6c950c4ed98e2c7fc5ed213b752d8b762 /public | |
parent | 196f0d69bcf29cf589fc5f379920286f9db14426 (diff) |
Increase editor height
Diffstat (limited to 'public')
-rw-r--r-- | public/site.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/public/site.js b/public/site.js index 1155126..cb6bed7 100644 --- a/public/site.js +++ b/public/site.js @@ -9,7 +9,7 @@ $(function() { smartIndent: true, indentUnit: 4 }); - editor.setSize(null, 500); + editor.setSize(null, 640); $("#dlCodeButton").on("click", function() { var a = $("<a></a>") |