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