Index: Source/devtools/front_end/CodeMirrorTextEditor.js |
diff --git a/Source/devtools/front_end/CodeMirrorTextEditor.js b/Source/devtools/front_end/CodeMirrorTextEditor.js |
index 8ad3b9edfe44f19f80e15f0ddef94cedfb7b8300..1b00b43af59ac75e1dd7b639ab958f9354143fac 100644 |
--- a/Source/devtools/front_end/CodeMirrorTextEditor.js |
+++ b/Source/devtools/front_end/CodeMirrorTextEditor.js |
@@ -760,6 +760,8 @@ WebInspector.CodeMirrorTextEditor.prototype = { |
setExecutionLine: function(lineNumber) |
{ |
this._executionLine = this._codeMirror.getLineHandle(lineNumber); |
+ if (!this._executionLine) |
lushnikov
2014/03/18 13:22:04
what is this needed for?
|
+ return; |
this._codeMirror.addLineClass(this._executionLine, "wrap", "cm-execution-line"); |
}, |