private void AddFilterRow(FileSearchFilter filter)
{
FilterWidgetRow newRow = new FilterWidgetRow(filter);
newRow.Changed += filter_Changed;
this.PackStart(newRow, false, false, 0);
newRow.ShowAll();
// XXX: box.ReorderChild(newRow,
}
private void AddFilterRow(FileSearchFilter filter)
{
FilterWidgetRow newRow = new FilterWidgetRow(filter);
newRow.Changed += filter_Changed;
this.PackStart(newRow, false, false, 0);
newRow.ShowAll();
// XXX: box.ReorderChild(newRow,
}
private void RemoveFilter(FileSearchFilter filter)
{
search.Filters.Remove(filter);
foreach (Widget child in this)
{
FilterWidgetRow row = (FilterWidgetRow)child;
if (row.Filter == filter)
{
row.Destroy();
if (this.Children.Length == 0)
{
this.Hide();
}
if (FiltersChanged != null)
{
FiltersChanged(this, EventArgs.Empty);
}
return;
}
}
}
