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