| 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",
|
|
|