Update remaining editor maxLines to 100 from 15

This commit is contained in:
Peter Stockings
2023-12-18 23:06:13 +11:00
parent 17f98195a2
commit c30c666caf

View File

@@ -73,7 +73,7 @@
<script> <script>
var editor_environment = ace.edit("editor-environment"); var editor_environment = ace.edit("editor-environment");
editor_environment.setOptions({ editor_environment.setOptions({
maxLines: 15, //editor_environment.session.getLength() maxLines: 100
}); });
editor_environment.setTheme("ace/theme/github_dark"); editor_environment.setTheme("ace/theme/github_dark");
editor_environment.session.setMode("ace/mode/json"); editor_environment.session.setMode("ace/mode/json");