Prev | Next | Top > Source Insight Concepts > Document Types
Editing the Document Options
The easiest way to edit a file's document options, or to see what document type it belongs to, is to right-click on the file window and select Document Options from the shortcut menu. See also “Document Options”.
