update editor on textwrap option change

9 years ago · fec3d2ce89
parent 717c7e922f
commit fec3d2ce89
1 changed files with 1 additions and 0 deletions
--- 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 ----------------------