Tweaks for improving file manager performance

chrome/browser/resources/shared/js/cr/ui/table/table_header.js

Index: chrome/browser/resources/shared/js/cr/ui/table/table_header.js
diff --git a/chrome/browser/resources/shared/js/cr/ui/table/table_header.js b/chrome/browser/resources/shared/js/cr/ui/table/table_header.js
index b36cc1fbf332c8eb9ddfa0b3c5b101442f5bf5ff..65c2f4b09e2688927f20fea600f4bbb1eec4842d 100644
--- a/chrome/browser/resources/shared/js/cr/ui/table/table_header.js
+++ b/chrome/browser/resources/shared/js/cr/ui/table/table_header.js
@@ -68,10 +68,25 @@ cr.define('cr.ui.table', function() {
       }
     },
 
+    batchCount_: 0,
+
+    startBatchUpdates: function() {
+      this.batchCount_++;
+    },
+
+    endBatchUpdates: function() {
+      this.batchCount_--;
+      if (this.batchCount_ == 0)
+        this.redraw();
+    },
+
     /**
      * Redraws table header.
      */
     redraw: function() {
+      if (this.batchCount_ != 0)
+        return;
+
       var cm = this.table_.columnModel;
       var dm = this.table_.dataModel;