| Index: Source/devtools/front_end/SourcesPanel.js
|
| diff --git a/Source/devtools/front_end/SourcesPanel.js b/Source/devtools/front_end/SourcesPanel.js
|
| index fba5ba6ace557ea3e3e42ff271ded6f986f5b501..5d2b02bf03a498c5dfeb8fb7d79657ea5cbb60fd 100644
|
| --- a/Source/devtools/front_end/SourcesPanel.js
|
| +++ b/Source/devtools/front_end/SourcesPanel.js
|
| @@ -716,7 +716,7 @@ WebInspector.SourcesPanel.prototype = {
|
| this._skipExecutionLineRevealing = true;
|
|
|
| var sourceFrame = this._showFile(uiSourceCode);
|
| - sourceFrame.revealLine(uiLocation.lineNumber);
|
| + sourceFrame.revealPosition(uiLocation.lineNumber);
|
| this._historyManager.pushNewState();
|
|
|
| if (sourceFrame.canEditSource())
|
|
|