| Index: third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js b/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js
|
| index b0850d71121775065760dcb71e959b81cfd3e140..03a47b2d7ff124f1220972c8d4636ff74aabc4a6 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js
|
| @@ -593,10 +593,11 @@ WebInspector.SourcesTextEditor.prototype = {
|
| /** @typedef {{lineNumber: number, event: !Event}} */
|
| WebInspector.SourcesTextEditor.GutterClickEventData;
|
|
|
| -/** @enum {string} */
|
| +/** @enum {symbol} */
|
| WebInspector.SourcesTextEditor.Events = {
|
| - GutterClick: "GutterClick"
|
| + GutterClick: Symbol("GutterClick")
|
| }
|
| +
|
| /**
|
| * @interface
|
| */
|
|
|