From 8b7970f429bfa1321d3fd0fe5de6ce488b7f5db4 Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Thu, 9 Mar 2017 00:28:57 +0000
Subject: [PATCH] Remove dependency on divs in editor

---
 src/app.js        | 2 +-
 src/app/editor.js | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/app.js b/src/app.js
index 68617e4537..9753d55793 100644
--- a/src/app.js
+++ b/src/app.js
@@ -487,7 +487,7 @@ var run = function () {
   // ----------------- editor resize ---------------
 
   function onResize () {
-    editor.resize()
+    editor.resize(document.querySelector('#editorWrap').checked)
     reAdjust()
   }
   window.onresize = onResize
diff --git a/src/app/editor.js b/src/app/editor.js
index ee500b60b4..bbb2b8b662 100644
--- a/src/app/editor.js
+++ b/src/app/editor.js
@@ -95,10 +95,10 @@ function Editor () {
     }
   }
 
-  this.resize = function () {
+  this.resize = function (useWrapMode) {
     editor.resize()
     var session = editor.getSession()
-    session.setUseWrapMode(document.querySelector('#editorWrap').checked)
+    session.setUseWrapMode(useWrapMode)
     if (session.getUseWrapMode()) {
       var characterWidth = editor.renderer.characterWidth
       var contentWidth = editor.container.ownerDocument.getElementsByClassName('ace_scroller')[0].clientWidth