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

Issues Search
    My Issues | Starred     Open | Closed | All

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

Issue 2694923002: DevTools: Changes Drawer (Closed)
Patch Set: slightly better Created 3 years, 10 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
« third_party/WebKit/Source/devtools/front_end/changes/ChangesView.js ('K') | « third_party/WebKit/Source/devtools/front_end/ui/Icon.js ('k') | third_party/WebKit/Source/devtools/front_end/workspace/UISourceCode.js » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
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 5ab5013acd9be9e1b75fe07f41c5fcbf29bc829f..c86047076c803909f230389fb66e733dcfb4313f 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
@@ -79,7 +79,8 @@ UI.TextEditor.prototype = {
* lineNumbers: boolean,
* lineWrapping: boolean,
* mimeType: (string|undefined),
- * autoHeight: (boolean|undefined)
+ * autoHeight: (boolean|undefined),
+ * maxHighlightLength: (number|undefined)
* }}
*/
UI.TextEditor.Options;
« third_party/WebKit/Source/devtools/front_end/changes/ChangesView.js ('K') | « third_party/WebKit/Source/devtools/front_end/ui/Icon.js ('k') | third_party/WebKit/Source/devtools/front_end/workspace/UISourceCode.js » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698