| Index: Source/devtools/front_end/components/FilterBar.js
|
| diff --git a/Source/devtools/front_end/components/FilterBar.js b/Source/devtools/front_end/components/FilterBar.js
|
| index fa2e352522d4a5a1b5f2c6dc252b41a279bca3b1..f7a4769c80915af577d0de8388af9fc98efe934b 100644
|
| --- a/Source/devtools/front_end/components/FilterBar.js
|
| +++ b/Source/devtools/front_end/components/FilterBar.js
|
| @@ -721,7 +721,10 @@ WebInspector.CheckboxFilterUI.prototype = {
|
| setState: function(state)
|
| {
|
| this._checked = state;
|
| - this._update();
|
| + if (this._setting)
|
| + this._setting.set(state);
|
| + else
|
| + this._update();
|
| },
|
|
|
| _update: function()
|
|
|