| Index: Source/devtools/front_end/SourcesPanel.js
|
| diff --git a/Source/devtools/front_end/SourcesPanel.js b/Source/devtools/front_end/SourcesPanel.js
|
| index 5d2b02bf03a498c5dfeb8fb7d79657ea5cbb60fd..034592c733fc2db7ff5b74ed41f82204782c83c2 100644
|
| --- a/Source/devtools/front_end/SourcesPanel.js
|
| +++ b/Source/devtools/front_end/SourcesPanel.js
|
| @@ -542,14 +542,15 @@ WebInspector.SourcesPanel.prototype = {
|
| * @param {number=} columnNumber
|
| * @param {boolean=} forceShowInPanel
|
| * @param {boolean=} omitFocus
|
| + * @param {boolean=} omitHighlight
|
| */
|
| - _showSourceLocation: function(uiSourceCode, lineNumber, columnNumber, forceShowInPanel, omitFocus)
|
| + _showSourceLocation: function(uiSourceCode, lineNumber, columnNumber, forceShowInPanel, omitFocus, omitHighlight)
|
| {
|
| this._showEditor(forceShowInPanel);
|
| this._historyManager.updateCurrentState();
|
| var sourceFrame = this._showFile(uiSourceCode);
|
| if (typeof lineNumber === "number")
|
| - sourceFrame.highlightPosition(lineNumber, columnNumber);
|
| + sourceFrame.revealPosition(lineNumber, columnNumber, !omitHighlight);
|
| this._historyManager.pushNewState();
|
| if (!omitFocus)
|
| sourceFrame.focus();
|
| @@ -714,14 +715,7 @@ WebInspector.SourcesPanel.prototype = {
|
| if (this._skipExecutionLineRevealing)
|
| return;
|
| this._skipExecutionLineRevealing = true;
|
| -
|
| - var sourceFrame = this._showFile(uiSourceCode);
|
| - sourceFrame.revealPosition(uiLocation.lineNumber);
|
| - this._historyManager.pushNewState();
|
| -
|
| - if (sourceFrame.canEditSource())
|
| - sourceFrame.setSelection(WebInspector.TextRange.createFromLocation(uiLocation.lineNumber, 0));
|
| - sourceFrame.focus();
|
| + this._showSourceLocation(uiSourceCode, uiLocation.lineNumber, 0, undefined, undefined, true);
|
| },
|
|
|
| _callFrameSelected: function(event)
|
|
|