public void Close() { if (AskClose()) { ActiveDesigner = null; ActiveDesigners = null; if (_differences != null) { _differences.Close(); _differences = null; } _documentManager.Close(); } }