Searched refs:preferredPanel (Results 1 – 4 of 4) sorted by relevance
625 if (WebInspector.canShowSourceLineForURL(anchor.href, anchor.preferredPanel)) {631 … WebInspector.showSourceLineForURL(anchor.href, anchor.lineNumber, anchor.preferredPanel);1453 WebInspector._choosePanelToShowSourceLineForURL = function(url, preferredPanel) argument1455 preferredPanel = preferredPanel || "resources";1456 var panel = this.panels[preferredPanel];1463 WebInspector.canShowSourceLineForURL = function(url, preferredPanel) argument1465 return !!this._choosePanelToShowSourceLineForURL(url, preferredPanel);1468 WebInspector.showSourceLineForURL = function(url, line, preferredPanel) argument1470 this.currentPanel = this._choosePanelToShowSourceLineForURL(url, preferredPanel);
105 urlElement.preferredPanel = "scripts";
774 urlElement.preferredPanel = "scripts";
15838 Add a preferredPanel of "scripts".15840 Add a preferredPanel of "scripts" when the source is JS.15850 (WebInspector.documentClick): Pass the preferredPanel to showResourceForURL.15851 (WebInspector.showResourceForURL): Resolve the preferredPanel from the string