| 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();
|
|
|