Index: Source/devtools/front_end/CodeMirrorTextEditor.js |
diff --git a/Source/devtools/front_end/CodeMirrorTextEditor.js b/Source/devtools/front_end/CodeMirrorTextEditor.js |
index 757d3380847e95b3132c28b40c7c38a1fcaa3699..6104bb8a3d01d45ec61b4330bbed05bda4519a90 100644 |
--- a/Source/devtools/front_end/CodeMirrorTextEditor.js |
+++ b/Source/devtools/front_end/CodeMirrorTextEditor.js |
@@ -135,6 +135,7 @@ WebInspector.CodeMirrorTextEditor = function(url, delegate) |
this._codeMirror.setOption("flattenSpans", false); |
this._codeMirror.setOption("maxHighlightLength", 1000); |
this._codeMirror.setOption("mode", null); |
+ this._codeMirror.setOption("crudeMeasuringFrom", 1000); |
this._shouldClearHistory = true; |
this._lineSeparator = "\n"; |