| Index: third_party/WebKit/Source/devtools/front_end/ui/DropDownMenu.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/DropDownMenu.js b/third_party/WebKit/Source/devtools/front_end/ui/DropDownMenu.js
|
| index 201d61c9b049a1882750b0ac71f6079e4dbac191..02691d065f2349cfffec6b83a4880125a7fd3a62 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/DropDownMenu.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/DropDownMenu.js
|
| @@ -18,9 +18,9 @@ WebInspector.DropDownMenu = function(element)
|
| /** @typedef {{id: string, title: string}} */
|
| WebInspector.DropDownMenu.Item;
|
|
|
| -/** @enum {string} */
|
| +/** @enum {symbol} */
|
| WebInspector.DropDownMenu.Events = {
|
| - ItemSelected: "ItemSelected"
|
| + ItemSelected: Symbol("ItemSelected")
|
| }
|
|
|
| WebInspector.DropDownMenu.prototype = {
|
|
|