private void BaseRecord_RecordDeleted(object sender, RecordChangeEventArgs e)
{
this._historyHandler.Remove(e.Record);
}
private void BaseRecord_RecordDescChanged(object sender, RecordChangeEventArgs e)
{
this.PluginTree.RefreshObject(e.Record);
}
private void BaseRecord_ChildListChanged(object sender, RecordChangeEventArgs e)
{
if (e.Record == null || e.Record == PluginList.All)
{
// use null record as hint to reset the roots
this.UpdateRoots();
// PluginTree.RebuildAll(true);
GC.Collect(); // clean up memory after releasing plugins
}
else
{
this.PluginTree.RefreshObject(e.Record);
}
}
