| Index: third_party/WebKit/Source/devtools/front_end/workspace/IsolatedFileSystemManager.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/workspace/IsolatedFileSystemManager.js b/third_party/WebKit/Source/devtools/front_end/workspace/IsolatedFileSystemManager.js
|
| index 348655a2b619a5a9ab07b7e08ee4fa2028ebfb25..7e328582afc587e5609d42e4564e5067c9ab3467 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/workspace/IsolatedFileSystemManager.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/workspace/IsolatedFileSystemManager.js
|
| @@ -56,13 +56,14 @@ WebInspector.IsolatedFileSystemManager = function()
|
| /** @typedef {!{fileSystemName: string, rootURL: string, fileSystemPath: string}} */
|
| WebInspector.IsolatedFileSystemManager.FileSystem;
|
|
|
| +/** @enum {symbol} */
|
| WebInspector.IsolatedFileSystemManager.Events = {
|
| - FileSystemAdded: "FileSystemAdded",
|
| - FileSystemRemoved: "FileSystemRemoved",
|
| - FileSystemsLoaded: "FileSystemsLoaded",
|
| - FileSystemFilesChanged: "FileSystemFilesChanged",
|
| - ExcludedFolderAdded: "ExcludedFolderAdded",
|
| - ExcludedFolderRemoved: "ExcludedFolderRemoved"
|
| + FileSystemAdded: Symbol("FileSystemAdded"),
|
| + FileSystemRemoved: Symbol("FileSystemRemoved"),
|
| + FileSystemsLoaded: Symbol("FileSystemsLoaded"),
|
| + FileSystemFilesChanged: Symbol("FileSystemFilesChanged"),
|
| + ExcludedFolderAdded: Symbol("ExcludedFolderAdded"),
|
| + ExcludedFolderRemoved: Symbol("ExcludedFolderRemoved")
|
| }
|
|
|
| WebInspector.IsolatedFileSystemManager._lastRequestId = 0;
|
|
|