| 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)
|
|
|