Index: third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js b/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js |
index eea0d2d7d6557fc021535d0c56087a64fac37b05..660ef8337440a1872046011e3ed7ef307a75da60 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js |
+++ b/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js |
@@ -77,9 +77,10 @@ WebInspector.SourcesView = function() |
this.element.addEventListener("keydown", this._handleKeyDown.bind(this), false); |
} |
+/** @enum {symbol} */ |
WebInspector.SourcesView.Events = { |
- EditorClosed: "EditorClosed", |
- EditorSelected: "EditorSelected", |
+ EditorClosed: Symbol("EditorClosed"), |
+ EditorSelected: Symbol("EditorSelected"), |
} |
WebInspector.SourcesView.prototype = { |