名前: taku 日時: 2003-02-24 00:03:52 IPアドレス: 61.201.102.* dvioutでChange Japanese Fonts を選択し、そこで目的のフォントに変更し、OKを押します。すると画面上では、もちろん目的のフォントに変更されているのですが、プリントアウトしても、変更前のフォントのままなんです。 dvioutを一旦終了したりしているわけではありません。。。
この書き込みへの返事：