fix minor bug in resizing

js/dom/index.js

@@ -8,6 +8,7 @@ const showFirstAlgorithm = require('./show_first_algorithm');
 const showRequestedAlgorithm = require('./show_requested_algorithm');
 const showWiki = require('./show_wiki');
 const enableSearch = require('./enable_search');
+const resizeWorkspace = require('./resize_workspace');
 
 module.exports = {
   showAlgorithm,
@@ -17,5 +18,6 @@ module.exports = {
   showFirstAlgorithm,
   showRequestedAlgorithm,
   showWiki,
-  enableSearch
+  enableSearch,
+  resizeWorkspace
 };
\ No newline at end of file

js/dom/resize_workspace.js

+'use strict';
+
+const app = require('../app');
+
+module.exports = () => {
+  app.getTracerManager().resize();
+  app.getEditor().resize();
+  $('.files_bar > .wrapper').scroll();
+};

js/dom/setup/setup_dividers.js

 'use strict';
 
 const app = require('../../app');
+const resizeWorkspace = require('../resize_workspace');
 
 const addDividerToDom = (divider) => {
   const [vertical, $first, $second] = divider;
@@ -38,9 +39,7 @@ const addDividerToDom = (divider) => {
         $first.css('right', (100 - percent) + '%');
         $second.css('left', percent + '%');
         x = pageX;
-        app.getTracerManager().resize();
-        app.getEditor().resize();
-        $('.files_bar > .wrapper').scroll();
+        resizeWorkspace();
       }
     });
 
@@ -76,8 +75,7 @@ const addDividerToDom = (divider) => {
         $first.css('bottom', (100 - percent) + '%');
         $second.css('top', percent + '%');
         y = pageY;
-        app.getTracerManager().resize();
-        app.getEditor().resize();
+        resizeWorkspace();
       }
     });
 

js/dom/setup/setup_side_menu.js

@@ -3,6 +3,7 @@
 const app = require('../../app');
 const Server = require('../../server');
 const showAlgorithm = require('../show_algorithm');
+const resizeWorkspace = require('../resize_workspace');
 
 let sidemenu_percent;
 
@@ -24,14 +25,14 @@ module.exports = () => {
       $workspace.css('left', 0);
     }
 
-    app.getTracerManager().resize();
+    resizeWorkspace();
   });
 
   $('#documentation').click(function () {
     $('#btn_doc').click();
   });
 
-  $('#powered-by').click(function() {
+  $('#powered-by').click(function () {
     $(this).toggleClass('open')
     $('#powered-by-list').toggle(300);
   });