| Index: third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js b/third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js
|
| index 08a22e26e8b5d85792c932148706544752daf450..1590d652db1631f1f8b7411f366911f7defb586b 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/FilterBar.js
|
| @@ -95,15 +95,11 @@ UI.FilterBar = class extends UI.HBox {
|
| }
|
|
|
| _updateFilterBar() {
|
| - if (!this.parentWidget())
|
| - return;
|
| var visible = this._alwaysShowFilters || (this._stateSetting.get() && this._enabled);
|
| - if (visible) {
|
| - this.showWidget();
|
| + this.element.classList.toggle('hidden', !visible);
|
| + if (visible)
|
| this._focusTextField();
|
| - } else {
|
| - this.hideWidget();
|
| - }
|
| + this.invalidateSize();
|
| }
|
|
|
| _focusTextField() {
|
|
|