diff --git a/static/web.js b/static/web.js index c7f2f71..3c767e0 100644 --- a/static/web.js +++ b/static/web.js @@ -575,6 +575,7 @@ themes = document.getElementById("themes"); editor = ace.edit("editor"); set_result.editor = editor; + editor.$blockScrolling = Infinity; session = editor.getSession(); themelist = ace.require("ace/ext/themelist");