DevTools: use inotify to pick changes on the filesystem.

third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js

 /*
  * Copyright (C) 2012 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 67 matching lines @@
 
 /**
  * @interface
  * @extends {WebInspector.EventTarget}
  */
 WebInspector.ProjectDelegate = function() { }
 
 WebInspector.ProjectDelegate.Events = {
     FileAdded: "FileAdded",
     FileRemoved: "FileRemoved",
+    FileChanged: "FileChanged"
 }
 
 WebInspector.ProjectDelegate.prototype = {
     /**
      * @return {string}
      */
     type: function() { },
 
     /**
      * @return {string}
@@ skipping 103 matching lines @@
     this._uiSourceCodesMap = new Map();
     /** @type {!Array.<!WebInspector.UISourceCode>} */
     this._uiSourceCodesList = [];
     this._workspace = workspace;
     this._projectId = projectId;
     this._projectDelegate = projectDelegate;
     this._url = this._projectDelegate.url();
     this._displayName = this._projectDelegate.displayName();
     projectDelegate.addEventListener(WebInspector.ProjectDelegate.Events.FileAdded, this._fileAdded, this);
     projectDelegate.addEventListener(WebInspector.ProjectDelegate.Events.FileRemoved, this._fileRemoved, this);
+    projectDelegate.addEventListener(WebInspector.ProjectDelegate.Events.FileChanged, this._fileChanged, this);
 }
 
 /**
  * @enum {string}
  */
 WebInspector.Project.Events = {
     DisplayNameUpdated: "DisplayNameUpdated"
 };
 
 WebInspector.Project.prototype = {
@@ skipping 70 matching lines @@
     /**
      * @param {!WebInspector.Event} event
      */
     _fileRemoved: function(event)
     {
         var path = /** @type {string} */ (event.data);
         this._removeFile(path);
     },
 
     /**
+     * @param {!WebInspector.Event} event
+     */
+    _fileChanged: function(event)
+    {
+        var path = /** @type {string} */ (event.data);
+        var uiSourceCode = this.uiSourceCode(path);
+        if (uiSourceCode)
+            uiSourceCode.checkContentUpdated();
+    },
+
+    /**
      * @param {string} path
      */
     _removeFile: function(path)
     {
         var uiSourceCode = this.uiSourceCode(path);
         if (!uiSourceCode)
             return;
 
         var entry = this._uiSourceCodesMap.get(path);
         var movedUISourceCode = this._uiSourceCodesList[this._uiSourceCodesList.length - 1];
@@ skipping 420 matching lines @@
         return this._hasResourceContentTrackingExtensions;
     },
 
     __proto__: WebInspector.Object.prototype
 }
 
 /**
  * @type {!WebInspector.Workspace}
  */
 WebInspector.workspace;