Index: third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js b/third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js |
index ae5338f76517d76cafb320edb361faf544fcc6c8..67e8b903ca81c9cf2e62a447760ad1505edfb7bf 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js |
+++ b/third_party/WebKit/Source/devtools/front_end/workspace/Workspace.js |
@@ -353,14 +353,15 @@ WebInspector.Workspace = function() |
this._hasResourceContentTrackingExtensions = false; |
} |
+/** @enum {symbol} */ |
WebInspector.Workspace.Events = { |
- UISourceCodeAdded: "UISourceCodeAdded", |
- UISourceCodeRemoved: "UISourceCodeRemoved", |
- WorkingCopyChanged: "WorkingCopyChanged", |
- WorkingCopyCommitted: "WorkingCopyCommitted", |
- WorkingCopyCommittedByUser: "WorkingCopyCommittedByUser", |
- ProjectAdded: "ProjectAdded", |
- ProjectRemoved: "ProjectRemoved" |
+ UISourceCodeAdded: Symbol("UISourceCodeAdded"), |
+ UISourceCodeRemoved: Symbol("UISourceCodeRemoved"), |
+ WorkingCopyChanged: Symbol("WorkingCopyChanged"), |
+ WorkingCopyCommitted: Symbol("WorkingCopyCommitted"), |
+ WorkingCopyCommittedByUser: Symbol("WorkingCopyCommittedByUser"), |
+ ProjectAdded: Symbol("ProjectAdded"), |
+ ProjectRemoved: Symbol("ProjectRemoved") |
} |
WebInspector.Workspace.prototype = { |