fix #168

js/dom/setup/setup_dividers.js

@@ -39,6 +39,7 @@ const addDividerToDom = (divider) => {
         $second.css('left', percent + '%');
         x = pageX;
         app.getTracerManager().resize();
+        app.getEditor().resize();
         $('.files_bar > .wrapper').scroll();
       }
     });
@@ -76,6 +77,7 @@ const addDividerToDom = (divider) => {
         $second.css('top', percent + '%');
         y = pageY;
         app.getTracerManager().resize();
+        app.getEditor().resize();
       }
     });
 

js/editor/index.js

@@ -66,6 +66,11 @@ function Editor(tracerManager) {
     if (this.marker) session.removeMarker(this.marker);
   };
 
+  this.resize = () => {
+    this.dataEditor.resize();
+    this.codeEditor.resize();
+  };
+
   // listeners
 
   this.dataEditor.on('change', () => {