DevTools: update console viewport scroll when prompt is resized

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

 // Copyright 2016 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 /**
  * @interface
  */
 UI.TextEditorFactory = function() {};
 
 UI.TextEditorFactory.prototype = {
   /**
@@ skipping 55 matching lines @@
   addKeyDownHandler(handler) {},
 
   /**
    * @param {?UI.AutocompleteConfig} config
    */
   configureAutocomplete(config) {},
 
   clearAutocomplete() {}
 };
 
+/** @enum symbol */
+UI.TextEditor.Events = {
+  EditorResized: Symbol('EditorResized')
+};
+
 /**
  * @typedef {{
  *  bracketMatchingSetting: (!Common.Setting|undefined),
  *  lineNumbers: boolean,
  *  lineWrapping: boolean,
  *  mimeType: (string|undefined),
  *  autoHeight: (boolean|undefined)
  * }}
  */
 UI.TextEditor.Options;
 
 /**
  * @typedef {{
  *     substituteRangeCallback: ((function(number, number):?Common.TextRange)|undefined),
  *     suggestionsCallback: ((function(!Common.TextRange, !Common.TextRange, boolean=, string=):?Promise.<!UI.SuggestBox.Suggestions>)|undefined),
  *     isWordChar: ((function(string):boolean)|undefined),
  *     captureEnter: (boolean|undefined)
  * }}
  */
 UI.AutocompleteConfig;