DevTools: Throttle file system refreshes on focus.

Source/devtools/front_end/sdk/Workspace.js

Index: Source/devtools/front_end/sdk/Workspace.js
diff --git a/Source/devtools/front_end/sdk/Workspace.js b/Source/devtools/front_end/sdk/Workspace.js
index 4670b5e9e04939fcb6da7d4804b5a9ecb089307f..eb2b7a06fa4c480a2c4f827fba1c556fc3a12fd9 100644
--- a/Source/devtools/front_end/sdk/Workspace.js
+++ b/Source/devtools/front_end/sdk/Workspace.js
@@ -99,8 +99,9 @@ WebInspector.ProjectDelegate.prototype = {
 
     /**
      * @param {string} path
+     * @param {function()=} callback
      */
-    refresh: function(path) { },
+    refresh: function(path, callback) { },
 
     /**
      * @param {string} path
@@ -438,8 +439,9 @@ WebInspector.Project.prototype = {
 
     /**
      * @param {string} path
+     * @param {function()=} callback
      */
-    refresh: function(path)
+    refresh: function(path, callback)
     {
         this._projectDelegate.refresh(path);

[lushnikov, 2014/06/26 16:01:25]

forgot to pass |callback| in the refresh

     },