Index: Source/devtools/front_end/FilterBar.js |
diff --git a/Source/devtools/front_end/FilterBar.js b/Source/devtools/front_end/FilterBar.js |
index 7768c3a894f1bdf86a11f3e461958d489ceb3bda..c9e7536eb680eadc98e9b1a29454561eaff4f65b 100644 |
--- a/Source/devtools/front_end/FilterBar.js |
+++ b/Source/devtools/front_end/FilterBar.js |
@@ -56,6 +56,15 @@ WebInspector.FilterBar.FilterBarState = { |
WebInspector.FilterBar.prototype = { |
/** |
+ * @param {string} name |
+ */ |
+ setName: function(name) |
+ { |
+ this._stateSetting = WebInspector.settings.createSetting("filterBar-" + name + "-toggled", false); |
+ this._setState(this._stateSetting.get()); |
+ }, |
+ |
+ /** |
* @return {!WebInspector.StatusBarButton} |
*/ |
filterButton: function() |
@@ -123,7 +132,21 @@ WebInspector.FilterBar.prototype = { |
*/ |
_handleFilterButtonClick: function(event) |
{ |
- this._filtersShown = !this._filtersShown; |
+ this._setState(!this._filtersShown); |
+ }, |
+ |
+ /** |
+ * @param {boolean} filtersShown |
+ */ |
+ _setState: function(filtersShown) |
+ { |
+ if (this._filtersShown === filtersShown) |
+ return; |
+ |
+ this._filtersShown = filtersShown; |
+ if (this._stateSetting) |
+ this._stateSetting.set(filtersShown); |
+ |
this._updateFilterButton(); |
this.dispatchEventToListeners(WebInspector.FilterBar.Events.FiltersToggled, this._filtersShown); |
if (this._filtersShown) { |