Index: third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js b/third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js |
index 79757e7b376f4903733fe3999c21063860778159..e25f51c440e8a7ba121f881b03caaa1fd5760f3d 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js |
+++ b/third_party/WebKit/Source/devtools/front_end/source_frame/CodeMirrorTextEditor.js |
@@ -2358,8 +2358,9 @@ WebInspector.CodeMirrorTextEditor._overrideModeWithPrefixedTokens("xml", "xml-") |
WebInspector.CodeMirrorTextEditor.GutterClickEventData; |
/** @enum {string} */ |
+/** @enum {symbol} */ |
WebInspector.CodeMirrorTextEditor.Events = { |
- GutterClick: "GutterClick" |
+ GutterClick: Symbol("GutterClick") |
} |
/** @type {!Set<!Runtime.Extension>} */ |