diff --git a/configurator.py b/configurator.py index 6c51c41..679d39a 100755 --- a/configurator.py +++ b/configurator.py @@ -1252,7 +1252,6 @@ INDEX = Template(r"""
-
@@ -2134,6 +2133,7 @@ INDEX = Template(r""" function ws_connect() { function msg(str) { document.getElementById("ws_events").value = str + "\n\n" + document.getElementById("ws_events").value; + $('#ws_events').trigger('autoresize'); } try { @@ -3312,8 +3312,7 @@ function show_lint_error() { editor.on('change', queue_lint); - -""") +""") def signal_handler(sig, frame): global HTTPD