| 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 333c93df852d2afde09213fa96db97d9950dcb8c..c4017d9bb1d40728bcd256834e2040e16694b3cf 100644
|
| --- a/Source/devtools/front_end/ui/FilterBar.js
|
| +++ b/Source/devtools/front_end/ui/FilterBar.js
|
| @@ -712,6 +712,14 @@ WebInspector.CheckboxFilterUI.prototype = {
|
| return this._filterElement;
|
| },
|
|
|
| + /**
|
| + * @return {!Element}
|
| + */
|
| + labelElement: function()
|
| + {
|
| + return this._label;
|
| + },
|
| +
|
| _fireUpdated: function()
|
| {
|
| this.dispatchEventToListeners(WebInspector.FilterUI.Events.FilterChanged, null);
|
|
|