DevTools: traverse widget hierarchy to reveal views.

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 0fc7a2dc7dc2fa4d96cc97247ee004f6c43e6c8f..ae8b2454f10a844c9f49801dcb2c227d86b6c8b5 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
@@ -855,6 +855,25 @@ 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
 }