|
private ProjectDisposed ( object sender, |
||
| sender | object | |
| args | ||
| return | void | |
void ProjectDisposed(object sender, EventArgs args)
{
projects.Remove (sender as Project);
if (!disposed)
UpdateWidgetLibraries (false, false);
}