Contains settings of a RichEdit document opened on the server and provides the means to operate the document (close or save a copy).
Gets the document format.
Gets the last modify time for the document.
Gets a value indicating whether the current document was modified after it was opened.