void OnChanged(object s, EventArgs a) { if (frontend != null) { frontend.NotifyChanged(); } }
void OnChanged(object s, ProjectChangedEventArgs a) { if (a.ChangedTopLevelName != RootWidget.Name) { return; } if (frontend != null) { frontend.NotifyChanged(); } }