public void ReplaceFilter (IFilterListModel old_filter, IFilterListModel new_filter) { int i = current_filters.IndexOf (old_filter); if (i != -1) { current_filters[i] = new_filter; SaveCurrentFilters (); } }