diff --git a/dev.html b/dev.html
index 678a953..385f4f4 100644
--- a/dev.html
+++ b/dev.html
@@ -1165,7 +1165,6 @@
@@ -2047,6 +2046,7 @@
function ws_connect() {
function msg(str) {
document.getElementById("ws_events").value = str + "\n\n" + document.getElementById("ws_events").value;
+ $('#ws_events').trigger('autoresize');
}
try {