| 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 = {
|
|
|