Index: Source/devtools/front_end/ui/FilterBar.js |
diff --git a/Source/devtools/front_end/ui/FilterBar.js b/Source/devtools/front_end/ui/FilterBar.js |
index 802d5af1e2441829827398a00139f2f7bfd57efd..144cb3f73ccd31fde1751ae9bae338955bd8999e 100644 |
--- a/Source/devtools/front_end/ui/FilterBar.js |
+++ b/Source/devtools/front_end/ui/FilterBar.js |
@@ -282,7 +282,7 @@ WebInspector.TextFilterUI.prototype = { |
*/ |
_onFilterFieldManualFocus: function(event) |
{ |
- WebInspector.setCurrentFocusElement(event.target); |
+ WebInspector.setCurrentFocusElement(/** @type {?Node} */ (event.target)); |
}, |
/** |