private NotifyWidgetRemoved ( string name ) : void | ||
name | string | |
return | void |
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));
}
}
);
}
public void RemoveWidget(string name) { WidgetData data = GetWidgetData(name); if (data == null) { return; } if (frontend != null) { frontend.NotifyWidgetRemoved(data.Name); } if (modifiedTopLevels.Contains(name)) { modifiedTopLevels.Remove(name); } }