| Index: third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js b/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js
|
| index fcbe43491f763e5a92d84b52267516630c1838df..fb1d27e52d24ff32019c3c04ac953ce75f0c897a 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js
|
| @@ -70,9 +70,10 @@ WebInspector.TabbedEditorContainer = function(delegate, setting, placeholderText
|
| this._history = WebInspector.TabbedEditorContainer.History.fromObject(this._previouslyViewedFilesSetting.get());
|
| }
|
|
|
| +/** @enum {symbol} */
|
| WebInspector.TabbedEditorContainer.Events = {
|
| - EditorSelected: "EditorSelected",
|
| - EditorClosed: "EditorClosed"
|
| + EditorSelected: Symbol("EditorSelected"),
|
| + EditorClosed: Symbol("EditorClosed")
|
| }
|
|
|
| WebInspector.TabbedEditorContainer._tabId = 0;
|
|
|