| 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 5ab5013acd9be9e1b75fe07f41c5fcbf29bc829f..19b1049d9d1f1b693a266c46dcdc42efbd38d1df 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
|
| @@ -73,6 +73,11 @@ UI.TextEditor.prototype = {
|
| clearAutocomplete() {}
|
| };
|
|
|
| +/** @enum symbol */
|
| +UI.TextEditor.Events = {
|
| + EditorResized: Symbol('EditorResized')
|
| +};
|
| +
|
| /**
|
| * @typedef {{
|
| * bracketMatchingSetting: (!Common.Setting|undefined),
|
|
|