DevTools: Get rid of redundant default selection during inspectElement

Source/devtools/front_end/inspector.js

Index: Source/devtools/front_end/inspector.js
diff --git a/Source/devtools/front_end/inspector.js b/Source/devtools/front_end/inspector.js
index 5b02f3da6bb52c57e44ad405eac521ef3b270bd3..21cbd54389d63a946344e2978a68e8651efb716f 100644
--- a/Source/devtools/front_end/inspector.js
+++ b/Source/devtools/front_end/inspector.js
@@ -773,12 +773,16 @@ WebInspector.inspect = function(payload, hints)
     if (object.subtype === "node") {
         function callback(nodeId)
         {
+            var elementsPanel = /** @type {!WebInspector.ElementsPanel} */ WebInspector.panel("elements");
+            elementsPanel.stopOmittingDefaultSelection();
             WebInspector._updateFocusedNode(nodeId);
             InspectorFrontendHost.inspectElementCompleted();
             object.release();
         }
         object.pushNodeToFrontend(callback);
-        WebInspector.showPanel("elements");
+        var elementsPanel = /** @type {!WebInspector.ElementsPanel} */ WebInspector.panel("elements");
+        elementsPanel.omitDefaultSelection();
+        WebInspector.inspectorView.setCurrentPanel(elementsPanel);
         return;
     }
 
@@ -836,7 +840,7 @@ WebInspector._updateFocusedNode = function(nodeId)
         InspectorFrontendHost.bringToFront();
         WebInspector.inspectElementModeController.disable();
     }
-    WebInspector.showPanel("elements").revealAndSelectNode(nodeId);
+    WebInspector.panel("elements").revealAndSelectNode(nodeId);

[pfeldman, 2014/02/25 16:28:12]

Do this using revealer instead.

 }
 
 WebInspector.evaluateInConsole = function(expression, showResultOnly)