| 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));
|
| },
|
|
|
| /**
|
|
|