internal void NotifyModifiedChanged() { GuiDispatch.InvokeSync ( delegate { if (ModifiedChanged != null) ModifiedChanged (this, EventArgs.Empty); } ); }