void NotifyChanged() { Modified = true; if (frontend != null) { frontend.NotifyChanged(); } if (Changed != null) { Changed(this, EventArgs.Empty); } }
void NotifyChanged(string rootWidgetName) { if (!modifiedTopLevels.Contains(rootWidgetName)) { modifiedTopLevels.Add(rootWidgetName); } if (frontend != null) { frontend.NotifyChanged(rootWidgetName); } if (Changed != null) { Changed(this, new ProjectChangedEventArgs(rootWidgetName)); } }