private void toggleFiltering(object sender, EventArgs e)
{
if (!filterToggleButton.Active && (base.Children.Length == 3)) {
filterEntry.Text = "";
base.Remove (filterEntry);
}
else if (base.Children.Length == 2) {
base.PackStart (filterEntry, false, false, 4);
filterEntry.Show ();
filterEntry.GrabFocus ();
}
else throw new Exception ("Unexpected number of widgets");
}