DevTools: use inotify to pick changes on the filesystem.

third_party/WebKit/Source/devtools/devtools.gypi

 #
 # Copyright (C) 2013 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 174 matching lines @@
             'front_end/bindings/FileUtils.js',
             'front_end/bindings/LiveLocation.js',
             'front_end/bindings/NetworkMapping.js',
             'front_end/bindings/NetworkProject.js',
             'front_end/bindings/PresentationConsoleMessageHelper.js',
             'front_end/bindings/ResourceScriptMapping.js',
             'front_end/bindings/ResourceUtils.js',
             'front_end/bindings/SASSSourceMapping.js',
             'front_end/bindings/StylesSourceMapping.js',
             'front_end/bindings/TempFile.js',
-            'front_end/bindings/WorkspaceController.js',
         ],
         'devtools_platform_js_files': [
             'front_end/platform/DOMExtension.js',
             'front_end/platform/utilities.js',
         ],
         'devtools_toolbox_bootstrap_js_files': [
             'front_end/toolbox_bootstrap/Toolbox.js',
         ],
         'devtools_emulation_js_files': [
             'front_end/emulation/devicesSettingsTab.css',
@@ skipping 614 matching lines @@
             'front_end/Images/toolbarItemSelected.png',
             'front_end/Images/touchCursor.png',
             'front_end/Images/touchCursor_2x.png',
             'front_end/Images/updateServiceWorker.svg',
         ],
         'devtools_extension_api_files': [
             'front_end/extensions/ExtensionAPI.js',
         ],
     },
 }