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