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/30 18:43:07
Why are we losing focus that this becomes necessar
einbinder
2017/02/01 22:51:35
Removed, see https://codereview.chromium.org/26744
|
// Search for the attribute's position, and then decide where to move to. |
var attributes = this._node.attributes(); |