protected virtual void OnWorkspaceSaved() { LastSaved = DateTime.Now; HasUnsavedChanges = false; if (WorkspaceSaved != null) WorkspaceSaved(); }