Index: third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js b/third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js |
index 5d71cc9ccf86ff1281cea1ec9a70908a2d94eba6..abb3f0f1b186aec031b37a319bb7f9c37e57f6cb 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js |
@@ -57,8 +57,9 @@ WebInspector.FilterBar.FilterBarState = { |
Shown : "on" |
}; |
+/** @enum {symbol} */ |
WebInspector.FilterBar.Events = { |
- Toggled: "Toggled" |
+ Toggled: Symbol("Toggled") |
}; |
WebInspector.FilterBar.prototype = { |
@@ -188,8 +189,9 @@ WebInspector.FilterUI = function() |
{ |
} |
+/** @enum {symbol} */ |
WebInspector.FilterUI.Events = { |
- FilterChanged: "FilterChanged" |
+ FilterChanged: Symbol("FilterChanged") |
} |
WebInspector.FilterUI.prototype = { |