From d3ea0f5e76d9efa1f44dc3cf1b86fb5c08c9c647 Mon Sep 17 00:00:00 2001 From: JT Martinez Date: Mon, 23 Apr 2018 13:34:25 -0600 Subject: [PATCH] Fix for event observer Removed Events label --- configurator.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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