prateek-js
diff --git a/‎js/dom/setup/setup_dividers.js
Lines changed: 2 additions & 0 deletions b/‎js/dom/setup/setup_dividers.js
Lines changed: 2 additions & 0 deletions
diff --git a/‎js/editor/index.js
Lines changed: 5 additions & 0 deletions b/‎js/editor/index.js
Lines changed: 5 additions & 0 deletions
diff --git a/‎public/algorithm_visualizer.js
Lines changed: 11 additions & 9 deletions b/‎public/algorithm_visualizer.js
Lines changed: 11 additions & 9 deletions
diff --git a/‎public/algorithm_visualizer.js.map
Lines changed: 1 addition & 1 deletion b/‎public/algorithm_visualizer.js.map
Lines changed: 1 addition & 1 deletion
diff --git a/‎public/algorithm_visualizer.min.js
Lines changed: 3 additions & 3 deletions b/‎public/algorithm_visualizer.min.js
Lines changed: 3 additions & 3 deletions
diff --git a/‎public/algorithm_visualizer.min.js.map
Lines changed: 1 addition & 1 deletion b/‎public/algorithm_visualizer.min.js.map
Lines changed: 1 addition & 1 deletion
@@ -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();
       }
     });
 
 
@@ -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', () => {
Original file line number	Diff line number	Diff line change
`@@ -39,6 +39,7 @@ const addDividerToDom = (divider) => {`
`39`	`39`	`$second.css('left', percent + '%');`
`40`	`40`	`x = pageX;`
`41`	`41`	`app.getTracerManager().resize();`
	`42`	`+ app.getEditor().resize();`
`42`	`43`	`$('.files_bar > .wrapper').scroll();`
`43`	`44`	`}`
`44`	`45`	`});`
`@@ -76,6 +77,7 @@ const addDividerToDom = (divider) => {`
`76`	`77`	`$second.css('top', percent + '%');`
`77`	`78`	`y = pageY;`
`78`	`79`	`app.getTracerManager().resize();`
	`80`	`+ app.getEditor().resize();`
`79`	`81`	`}`
`80`	`82`	`});`
`81`	`83`