Merge branch 'temp' into gh-pages

js/dom/enable_search.js

@@ -7,9 +7,7 @@ module.exports = () => {
 		let query = $(this).val ();
 		let re = new RegExp (query, 'i');
 
-		if (query) $('#footer').hide ();
-		else $('#footer').show ();
-
+		query ? $('#footer').hide () : $('#footer').show ();
 		$.each ($('#list .category'), function (i, c) {
 			let $c = $(c);
 			!$c.hasClass ('open') && $c.click ();

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', () => {