| 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 = {
|
|
|