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]