private void SaveCurrentFilters ()
{
Reload ();
if (current_filters == null) {
current_filters_schema.Set (null);
} else {
string [] filters = new string [current_filters.Count];
int i = 0;
foreach (IFilterListModel filter in CurrentFilters) {
filters[i++] = filter.FilterName;
}
current_filters_schema.Set (filters);
}
EventHandler handler = FiltersChanged;
if (handler != null) {
handler (this, EventArgs.Empty);
}
}