Property Sheets
メニューバーからOption->Setup Parametersを選択するか、Change Settingsと表示されるツールボタンを押すと、Property Sheetsが現れます。dvioutの各種パラメータの変更や、起動時のパラメータの状態の設定を行うことができます。
以下のものがあります。
[CONTENTS], [Display], [Resolution], [Font], [Font2],
[WinJFont], [JFont2], [Key], [Search], [HyperTeX],
[Common], [Graphic], [Printer], [Paper], [System], [REGISTRY]