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