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

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

Issue 2694923002: DevTools: Changes Drawer (Closed)
Patch Set: Remove event listener on willHide 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 9c5688aadf842c078fd9aea3e90fc222a1018356..2579b7ca397b6ed22015fb21c27d612465ca9845 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
@@ -80,7 +80,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