DevTools: Changes View

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 69 matching lines @@
   tokenAtTextPosition(lineNumber, columnNumber) {}
 };
 
 /**
  * @typedef {{
  *  bracketMatchingSetting: (!Common.Setting|undefined),
  *  lineNumbers: boolean,
  *  lineWrapping: boolean,
  *  mimeType: (string|undefined),
  *  autoHeight: (boolean|undefined),
- *  padBottom: (boolean|undefined)
+ *  padBottom: (boolean|undefined),
+ *  maxHighlightLength: (number|undefined)
  * }}
  */
 UI.TextEditor.Options;
 
 /**
  * @typedef {{
  *     substituteRangeCallback: ((function(number, number):?TextUtils.TextRange)|undefined),
  *     suggestionsCallback: ((function(!TextUtils.TextRange, !TextUtils.TextRange, boolean=):?Promise.<!UI.SuggestBox.Suggestions>)|undefined),
  *     isWordChar: ((function(string):boolean)|undefined),
  *     captureEnter: (boolean|undefined)
  * }}
  */
 UI.AutocompleteConfig;