internal void NotifyWidgetRemoved(string name)
{
GuiDispatch.InvokeSync (
delegate {
WidgetInfo wi = GetWidget (name);
if (wi != null) {
widgets.Remove (wi);
if (WidgetRemoved != null)
WidgetRemoved (this, new WidgetInfoEventArgs (this, wi));
}
}
);
}