Index: Source/devtools/front_end/SourcesPanel.js |
diff --git a/Source/devtools/front_end/SourcesPanel.js b/Source/devtools/front_end/SourcesPanel.js |
index 3075bcc64f4c1fa3f445e20ac3422b02640b886c..dd168c9365e01bda9b51ca4d88c7ce37b281cdaa 100644 |
--- a/Source/devtools/front_end/SourcesPanel.js |
+++ b/Source/devtools/front_end/SourcesPanel.js |
@@ -724,14 +724,7 @@ WebInspector.SourcesPanel.prototype = { |
if (this._skipExecutionLineRevealing) |
return; |
this._skipExecutionLineRevealing = true; |
- |
- var sourceFrame = this._showFile(uiSourceCode); |
- sourceFrame.revealLine(uiLocation.lineNumber); |
- this._historyManager.pushNewState(); |
- |
- if (sourceFrame.canEditSource()) |
- sourceFrame.setSelection(WebInspector.TextRange.createFromLocation(uiLocation.lineNumber, 0)); |
- sourceFrame.focus(); |
+ this._showSourceLocation(uiSourceCode, uiLocation.lineNumber, 0); |
}, |
_callFrameSelected: function(event) |