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