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

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

 /*
  * Copyright (C) 2008 Apple Inc. All Rights Reserved.
  * Copyright (C) 2011 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:
  * 1. Redistributions of source code must retain the above copyright
  *    notice, this list of conditions and the following disclaimer.
  * 2. Redistributions in binary form must reproduce the above copyright
@@ skipping 537 matching lines @@
         else
             this.doLayout();
     },
 
     invalidateSize: function()
     {
         if (this._parentWidget)
             this._parentWidget.doLayout();
     },
 
-    /**
-     * @return {boolean}
-     */
-    revealWidget: function()
-    {
-        if (!this._parentWidget)
-            return this._isRoot;
-        if (!this._parentWidget.revealChild(this))
-            return false;
-        return this._parentWidget.revealWidget();
-    },
-
-    /**
-     * @param {!WebInspector.Widget} widget
-     * @return {boolean}
-     * @protected
-     */
-    revealChild: function(widget) { return true; },
-
     __proto__: WebInspector.Object.prototype
 }
 
 WebInspector.Widget._originalAppendChild = Element.prototype.appendChild;
 WebInspector.Widget._originalInsertBefore = Element.prototype.insertBefore;
 WebInspector.Widget._originalRemoveChild = Element.prototype.removeChild;
 WebInspector.Widget._originalRemoveChildren = Element.prototype.removeChildren;
 
 WebInspector.Widget._incrementWidgetCounter = function(parentElement, childElement)
 {
@@ skipping 158 matching lines @@
 {
     WebInspector.Widget.__assert(!child.__widgetCounter && !child.__widget, "Attempt to remove element containing widget via regular DOM operation");
     return WebInspector.Widget._originalRemoveChild.call(this, child);
 }
 
 Element.prototype.removeChildren = function()
 {
     WebInspector.Widget.__assert(!this.__widgetCounter, "Attempt to remove element containing widget via regular DOM operation");
     WebInspector.Widget._originalRemoveChildren.call(this);
 }