void ReleaseDesignerOutlets ()
		{
			if (documentEditor != null) {
				documentEditor.Dispose ();
				documentEditor = null;
			}

			if (trashItem != null) {
				trashItem.Dispose ();
				trashItem = null;
			}
		}
        void ReleaseDesignerOutlets()
        {
            if (documentEditor != null)
            {
                documentEditor.Dispose();
                documentEditor = null;
            }

            if (trashItem != null)
            {
                trashItem.Dispose();
                trashItem = null;
            }
        }