DevTools: update console viewport scroll when prompt is resized

third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js

Index: third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
diff --git a/third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js b/third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
index 41d0d9ba36d49fce89744efb2f175f76520b572d..36c3836278d128acc8476ed0755eb755d524baa9 100644
--- a/third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
+++ b/third_party/WebKit/Source/devtools/front_end/text_editor/CodeMirrorTextEditor.js
@@ -1050,6 +1050,23 @@ TextEditor.CodeMirrorTextEditor = class extends UI.VBox {
 
     this._decorations.valuesArray().forEach(decoration => this._codeMirror.removeLineWidget(decoration.widget));
     this._decorations.clear();
+
+    var edits = [];
+    var currentEdit;
+
+    for (var changeIndex = 0; changeIndex < changes.length; ++changeIndex) {
+      var changeObject = changes[changeIndex];
+      var edit = TextEditor.CodeMirrorUtils.changeObjectToEditOperation(changeObject);
+      if (currentEdit && edit.oldRange.equal(currentEdit.newRange)) {
+        currentEdit.newRange = edit.newRange;
+      } else {
+        currentEdit = edit;
+        edits.push(currentEdit);
+      }
+    }
+
+    for (var i = 0; i < edits.length; i++)
+      this.emit(new UI.TextEditor.TextChangedEvent(edits[i].oldRange, edits[i].newRange));

[pfeldman, 2017/04/04 20:21:09]

I believe dgozman@ removed the typed events.

[luoe, 2017/04/04 21:08:59]

Rebased.

   }
 
   /**