private void Destroy() { formBE.Dispose(); ManagedNotificationCenter.RemoveObserver(this, "GNFormTitleDidChange"); // No need to again close all docked editors here. This happened already in CloseDocument(). canvasViewer.FinalizeCanvas(); }