Chromium Code Reviews| 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 6433cfdb128efaf2220d688a0460728948f89843..8ab06306cb6fb5f8da9814a9175fabe680624049 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(); |
|
pfeldman
2017/01/21 04:57:34
nit: why did the tree lose focus? (seems fragile)
|
| // Search for the attribute's position, and then decide where to move to. |
| var attributes = this._node.attributes(); |