DevTools: update console viewport scroll when prompt is resized

third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js

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 9c5688aadf842c078fd9aea3e90fc222a1018356..8ae75f064f476d4e04a8b989f5f04c1a520b3a62 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,18 @@ UI.TextEditor.prototype = {
   clearAutocomplete() {}
 };
 
+/** @implements {Common.Emittable} */
+UI.TextEditor.TextChangedEvent = class {
+  /**
+   * @param {!Common.TextRange} oldRange
+   * @param {!Common.TextRange} newRange
+   */
+  constructor(oldRange, newRange) {
+    this.oldRange = oldRange;
+    this.newRange = newRange;
+  }
+};
+
 /**
  * @typedef {{
  *  bracketMatchingSetting: (!Common.Setting|undefined),