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