private void OnFilterEntryTextChanged(object o, System.EventArgs args)
 {
     // Since the filter text changed, tell the filter to re-determine which rows to display
     filter.Refilter();
 }