public void NotifyModifiedChanged() { GuiDispatch.InvokeSync ( delegate { if (!disposed) designer.NotifyModifiedChanged (); } ); }
void OnModifiedChanged(object s, EventArgs a) { if (frontend != null) { frontend.NotifyModifiedChanged(); } }