DevTools: speed up network scrolling and layout.

Source/devtools/front_end/UIUtils.js

 /*
  * Copyright (C) 2011 Google Inc.  All rights reserved.
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com).
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
@@ skipping 772 matching lines @@
 }
 
 WebInspector.endBatchUpdate = function()
 {
     if (--WebInspector._coalescingLevel)
         return;
 
     var handlers = WebInspector._postUpdateHandlers;
     delete WebInspector._postUpdateHandlers;
 
-    var keys = handlers.keys();
-    for (var i = 0; i < keys.length; ++i) {
-        var object = keys[i];
-        var methods = handlers.get(object).keys();
-        for (var j = 0; j < methods.length; ++j)
-            methods[j].call(object);
-    }
+    window.requestAnimationFrame(function() {
+        if (WebInspector._coalescingLevel)
+            return;
+        var keys = handlers.keys();
+        for (var i = 0; i < keys.length; ++i) {
+            var object = keys[i];
+            var methods = handlers.get(object).keys();
+            for (var j = 0; j < methods.length; ++j)
+                methods[j].call(object);
+        }
+    });
 }
 
 /**
  * @param {!Object} object
  * @param {function()} method
  */
 WebInspector.invokeOnceAfterBatchUpdate = function(object, method)
 {
     if (!WebInspector._coalescingLevel) {
-        method.call(object);
+        window.requestAnimationFrame(function() {
+            if (!WebInspector._coalescingLevel)
+                method.call(object);
+        });
         return;
     }
-    
+
     var methods = WebInspector._postUpdateHandlers.get(object);
     if (!methods) {
         methods = new Map();
         WebInspector._postUpdateHandlers.put(object, methods);
     }
     methods.put(method);
 }
 
 ;(function() {
 
 function windowLoaded()
 {
     window.addEventListener("focus", WebInspector._windowFocused, false);
     window.addEventListener("blur", WebInspector._windowBlurred, false);
     document.addEventListener("focus", WebInspector._focusChanged, true);
     document.addEventListener("blur", WebInspector._documentBlurred, true);
     window.removeEventListener("DOMContentLoaded", windowLoaded, false);
 }
 
 window.addEventListener("DOMContentLoaded", windowLoaded, false);
 
 })();