DevTools: traverse widget hierarchy to reveal views.

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

 /*
  * Copyright (C) 2010 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 837 matching lines @@
     /**
      * @param {boolean} allow
      * @param {boolean=} automatic
      */
     setAllowTabReorder: function(allow, automatic)
     {
         this._allowTabReorder = allow;
         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
 }
 
 /**
  * @constructor
  * @param {!WebInspector.TabbedPane} tabbedPane
  * @param {string} id
  * @param {string} title
  * @param {boolean} closeable
  * @param {!WebInspector.Widget} view
@@ skipping 565 matching lines @@
             if (this._viewCallback && view)
                 this._viewCallback(id, view);
             var shouldFocus = this._tabbedPane.visibleView.element.isSelfOrAncestor(WebInspector.currentFocusElement());
             this._tabbedPane.changeTabView(id, view);
             if (shouldFocus)
                 view.focus();
             return view;
         }
     }
 }