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