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

Unified Diff: third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js

Issue 2281703002: DevTools: Create TextEditor Interface around CodeMirrorTextEditor (Closed)
Patch Set: Fix bad closure typedef Created 4 years, 4 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/source_frame/SourcesTextEditor.js
diff --git a/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js b/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js
index b0850d71121775065760dcb71e959b81cfd3e140..db57e31dc373db500d8c8709fbc7696f9367c418 100644
--- a/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js
+++ b/third_party/WebKit/Source/devtools/front_end/source_frame/SourcesTextEditor.js
@@ -9,7 +9,11 @@
*/
WebInspector.SourcesTextEditor = function(delegate)
{
- WebInspector.CodeMirrorTextEditor.call(this);
+ WebInspector.CodeMirrorTextEditor.call(this, {
+ lineNumbers: true,
+ lineWrapping: false,
+ bracketMatchingSetting: WebInspector.moduleSetting("textEditorBracketMatching"),
+ });
this.codeMirror().addKeyMap({
"Enter": "smartNewlineAndIndent",

Powered by Google App Engine
This is Rietveld 408576698