From fec3d2ce8911f609a06f5924bd9adfb67cfcbf0e Mon Sep 17 00:00:00 2001 From: d11e9 Date: Tue, 6 Oct 2015 15:27:50 +0100 Subject: [PATCH] update editor on textwrap option change --- index.html | 1 + 1 file changed, 1 insertion(+) diff --git a/index.html b/index.html index 09f2ae7fec..87451bc62f 100644 --- a/index.html +++ b/index.html @@ -309,6 +309,7 @@ THE SOFTWARE. onResize(); document.querySelector('#editor').addEventListener('change', onResize); + document.querySelector('#editorWrap').addEventListener('change', onResize); // ----------------- compiler ----------------------