void oneCatalogChanged(object sender, EventArgs e) { if (CatalogChanged != null) CatalogChanged(sender, e); }