Changeset 73285 in webkit

Timestamp:

Dec 3, 2010 12:11:23 PM (13 years ago)

Author:

pfeldman@chromium.org

Message:

2010-12-03 Pavel Feldman <​pfeldman@chromium.org>

Reviewed by Yury Semikhatsky.

Web Inspector: reveal in elements panel does not switch the panel itself.
​https://bugs.webkit.org/show_bug.cgi?id=50408

• inspector/front-end/ElementsTreeOutline.js: (WebInspector.ElementsTreeOutline.prototype._contextMenuEventFired.focusElement): (WebInspector.ElementsTreeOutline.prototype._contextMenuEventFired):
• inspector/front-end/ObjectPropertiesSection.js: (WebInspector.ObjectPropertyTreeElement.prototype._contextMenuEventFired):

Location:

trunk/WebCore

Files:

• ChangeLog (modified) (1 diff)
• inspector/front-end/ElementsTreeOutline.js (modified) (1 diff)
• inspector/front-end/ObjectPropertiesSection.js (modified) (1 diff)

trunk/WebCore/ChangeLog

@@ +1 @@
+2010-12-03  Pavel Feldman  <pfeldman@chromium.org>
+
+        Reviewed by Yury Semikhatsky.
+
+        Web Inspector: reveal in elements panel does not switch the panel itself.
+        https://bugs.webkit.org/show_bug.cgi?id=50408
+
+        * inspector/front-end/ElementsTreeOutline.js:
+        (WebInspector.ElementsTreeOutline.prototype._contextMenuEventFired.focusElement):
+        (WebInspector.ElementsTreeOutline.prototype._contextMenuEventFired):
+        * inspector/front-end/ObjectPropertiesSection.js:
+        (WebInspector.ObjectPropertyTreeElement.prototype._contextMenuEventFired):
+
 2010-12-03  Simon Fraser  <simon.fraser@apple.com>
 

trunk/WebCore/inspector/front-end/ElementsTreeOutline.js

@@ -269 +269 @@
             function focusElement()
             {
+                WebInspector.currentPanel = WebInspector.panels.elements;
                 WebInspector.panels.elements.focusedDOMNode = listItem.treeElement.representedObject;
             }

trunk/WebCore/inspector/front-end/ObjectPropertiesSection.js

@@ -203 +203 @@
         function selectNode(nodeId)
         {
-            if (nodeId)
+            if (nodeId) {
+                WebInspector.currentPanel = WebInspector.panels.elements;
                 WebInspector.panels.elements.focusedDOMNode = WebInspector.domAgent.nodeForId(nodeId);
+            }
         }