| 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>} */
|
|
|