摘要 |
A document editor is designed for editing structured documents. The document editor allows a user to select a linear range within the document and apply editing operations to the range. In this regard, the document editor differs from conventional document editors for structured documents. A user is not constrained to act solely on the underlying syntactic entities of the structured document.
|