Index: third_party/WebKit/Source/devtools/front_end/elements/ElementsTreeElement.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/elements/ElementsTreeElement.js b/third_party/WebKit/Source/devtools/front_end/elements/ElementsTreeElement.js |
index 0ca856d8e060f05c7b1e962c6f153f86c014f61a..f7f7ba93bd114e6cb040dcd9ca916b30500a8a76 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/elements/ElementsTreeElement.js |
+++ b/third_party/WebKit/Source/devtools/front_end/elements/ElementsTreeElement.js |
@@ -825,6 +825,7 @@ Elements.ElementsTreeElement = class extends UI.TreeElement { |
return; |
treeOutline.runPendingUpdates(); |
+ treeOutline.focus(); |
// Search for the attribute's position, and then decide where to move to. |
var attributes = this._node.attributes(); |