Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(812)

Unified Diff: third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js

Issue 2772643002: DevTools: Changes View (Closed)
Patch Set: fix test Created 3 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
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 d1259b6b47a070fb533e520953ccd5b125a886ae..a38172a303c4a24a2f8629e5a143408950f28636 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
@@ -87,7 +87,8 @@ UI.TextEditor.prototype = {
* lineWrapping: boolean,
* mimeType: (string|undefined),
* autoHeight: (boolean|undefined),
- * padBottom: (boolean|undefined)
+ * padBottom: (boolean|undefined),
+ * maxHighlightLength: (number|undefined)
* }}
*/
UI.TextEditor.Options;

Powered by Google App Engine
This is Rietveld 408576698