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; |