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();
        }