internal void NotifyWidgetAdded(object obj, string name, string typeName)
{
GuiDispatch.InvokeSync (
delegate {
Component c = App.GetComponent (obj, name, typeName);
if (c != null) {
WidgetInfo wi = GetWidget (c.Name);
if (wi == null) {
wi = new WidgetInfo (this, c);
widgets.Add (wi);
}
if (WidgetAdded != null)
WidgetAdded (this, new WidgetInfoEventArgs (this, wi));
}
}
);
}