Index: third_party/WebKit/Source/devtools/front_end/elements/ElementsTreeOutline.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/elements/ElementsTreeOutline.js b/third_party/WebKit/Source/devtools/front_end/elements/ElementsTreeOutline.js |
index 15b987827bd2dddb780552c5883e9bf3440c074f..a7d364899ee66beb9bcc35acb0be480e10e4bfb8 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/elements/ElementsTreeOutline.js |
+++ b/third_party/WebKit/Source/devtools/front_end/elements/ElementsTreeOutline.js |
@@ -149,6 +149,9 @@ WebInspector.ElementsTreeOutline.prototype = { |
return this._treeElementSymbol; |
}, |
+ /** |
+ * @override |
+ */ |
focus: function() |
{ |
this._element.focus(); |
@@ -1756,6 +1759,9 @@ WebInspector.ElementsTreeOutline.ShortcutTreeElement.prototype = { |
return this._hovered; |
}, |
+ /** |
+ * @param {boolean} x |
+ */ |
set hovered(x) |
{ |
if (this._hovered === x) |