DevTools: properly restore selected DOMNode in Elements panel.

third_party/WebKit/Source/devtools/front_end/sdk/DOMModel.js

Index: third_party/WebKit/Source/devtools/front_end/sdk/DOMModel.js
diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/DOMModel.js b/third_party/WebKit/Source/devtools/front_end/sdk/DOMModel.js
index fa09f22b8a6b933607c330cdb84eca3937be414c..63ef4b44cd69248f6cc914ee6b5acfe64f17b005 100644
--- a/third_party/WebKit/Source/devtools/front_end/sdk/DOMModel.js
+++ b/third_party/WebKit/Source/devtools/front_end/sdk/DOMModel.js
@@ -1279,6 +1279,27 @@ WebInspector.DOMModel.prototype = {
     },
 
     /**
+     * @param {string} path
+     * @return {!Promise<?WebInspector.DOMNode>}
+     */
+    pushNodeByPathToFrontendPromise: function(path)
+    {
+        var fulfill;
+        var promise = new Promise(x => fulfill = x);
+        this.pushNodeByPathToFrontend(path, onNodePushed.bind(this));
+        return promise;
+
+        /**
+         * @param {?DOMAgent.NodeId} nodeId
+         * @this {WebInspector.DOMModel}
+         */
+        function onNodePushed(nodeId)
+        {
+            fulfill(nodeId ? this.nodeForId(nodeId) : null);
+        }
+    },
+
+    /**
      * @param {!Set<number>} backendNodeIds
      * @param {function(?Map<number, ?WebInspector.DOMNode>)} callback
      */