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