| Index: third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js b/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
|
| index a38172a303c4a24a2f8629e5a143408950f28636..bd4857906d7d149f3e8e9439af7e9d35417438cb 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
|
| @@ -16,6 +16,7 @@ UI.TextEditorFactory.prototype = {
|
|
|
| /**
|
| * @interface
|
| + * @extends {Common.EventTarget}
|
| */
|
| UI.TextEditor = function() {};
|
|
|
| @@ -80,6 +81,11 @@ UI.TextEditor.prototype = {
|
| tokenAtTextPosition(lineNumber, columnNumber) {}
|
| };
|
|
|
| +/** @enum {symbol} */
|
| +UI.TextEditor.Events = {
|
| + TextChanged: Symbol('TextChanged')
|
| +};
|
| +
|
| /**
|
| * @typedef {{
|
| * bracketMatchingSetting: (!Common.Setting|undefined),
|
|
|