DevTools: use view locations in the elements and sources sidebars.

third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js

Index: third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
index 1eb800418bd8150b18aa4b88aa0cf357b4b7f635..119d844b9ff867c3e1338d40f4cb6c29b0120854 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
@@ -852,25 +852,6 @@ WebInspector.TabbedPane.prototype = {
         this._automaticReorder = automatic;
     },
 
-    /**
-     * @override
-     * @param {!WebInspector.Widget} child
-     * @return {boolean}
-     */
-    revealChild: function(child)
-    {
-        if (this._currentTabLocked)
-            return false;
-
-        for (var tabId of this.tabIds()) {
-            if (this.tabView(tabId) === child) {
-                this.selectTab(tabId);
-                return true;
-            }
-        }
-        return false;
-    },
-
     __proto__: WebInspector.VBox.prototype
 }