public string GetLabelForFilterID(int id)
{
SearchEntry.FilterMenuItem filterMenuItem = this.FindFilterMenuItem(id);
if (filterMenuItem == null)
{
return((string)null);
}
return(filterMenuItem.Label);
}
public void ActivateFilter(int id)
{
SearchEntry.FilterMenuItem filterMenuItem = this.FindFilterMenuItem(id);
if (filterMenuItem == null)
{
return;
}
filterMenuItem.Toggle();
}
public void RemoveFilterOption(int id)
{
SearchEntry.FilterMenuItem filterMenuItem = this.FindFilterMenuItem(id);
if (filterMenuItem == null)
{
return;
}
this.menu.Remove((Widget)filterMenuItem);
}
public CheckMenuItem AddFilterOption(int id, string label)
{
if (id < 0)
{
throw new ArgumentException("id", "must be >= 0");
}
SearchEntry.FilterMenuItem filterMenuItem = new SearchEntry.FilterMenuItem(id, label);
filterMenuItem.Toggled += new EventHandler(this.OnMenuItemToggled);
this.menu.Append((Widget)filterMenuItem);
if (this.ActiveFilterID < 0)
{
filterMenuItem.Toggle();
}
this.filter_button.Visible = true;
return((CheckMenuItem)filterMenuItem);
}
private void OnMenuItemToggled(object o, EventArgs args)
{
if (this.IsCheckMenu || this.toggling || !(o is SearchEntry.FilterMenuItem))
{
return;
}
this.toggling = true;
SearchEntry.FilterMenuItem filterMenuItem1 = (SearchEntry.FilterMenuItem)o;
foreach (MenuItem menuItem in (Gtk.Container) this.menu)
{
if (menuItem is SearchEntry.FilterMenuItem)
{
SearchEntry.FilterMenuItem filterMenuItem2 = (SearchEntry.FilterMenuItem)menuItem;
if (filterMenuItem2 != filterMenuItem1)
{
filterMenuItem2.Active = false;
}
}
}
filterMenuItem1.Active = true;
this.ActiveFilterID = filterMenuItem1.ID;
this.toggling = false;
}
