Index: third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
index 48c796a73e0ab7ce0b7e1eaf868345a73b4d71cf..b6374a2e16100b449eab6fafb9e6171d243559e7 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
@@ -59,10 +59,11 @@ WebInspector.TabbedPane = function() |
WebInspector.zoomManager.addEventListener(WebInspector.ZoomManager.Events.ZoomChanged, this._zoomChanged, this); |
} |
+/** @enum {symbol} */ |
WebInspector.TabbedPane.EventTypes = { |
- TabSelected: "TabSelected", |
- TabClosed: "TabClosed", |
- TabOrderChanged: "TabOrderChanged" |
+ TabSelected: Symbol("TabSelected"), |
+ TabClosed: Symbol("TabClosed"), |
+ TabOrderChanged: Symbol("TabOrderChanged") |
} |
WebInspector.TabbedPane.prototype = { |