summaryrefslogtreecommitdiff
path: root/public/site.js
diff options
context:
space:
mode:
authorJonas Kohl2024-11-08 11:51:40 +0100
committerJonas Kohl2024-11-08 11:51:40 +0100
commit7542a02170aa8e779fd3ed12d6b4332ff99f22a6 (patch)
tree7d539af6c950c4ed98e2c7fc5ed213b752d8b762 /public/site.js
parent196f0d69bcf29cf589fc5f379920286f9db14426 (diff)
Increase editor height
Diffstat (limited to 'public/site.js')
-rw-r--r--public/site.js2
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>")