void OnProjectReloading(object s, EventArgs a) { if (frontend != null) frontend.NotifyRootWidgetChanging (); }