Beispiel #1
0
        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 ();
		}