名前: SHIMA 日時: 2006-01-11 08:33:42 IPアドレス: 203.125.97.*
>>40571 dviout において，使用フォントの設定を変える場合の一般的注意です． dviout は，フォントの検索を高速にするため，使用したフォントの所在を キャッシュして，次回以降にも用います． キャッシュされるのは，使用したフォントに関して，TEXPK のどの部分を用い たか，\\ に何が代入されたか，などだったと思います．使用頻度の高いフォン トや最近使用したフォントをより優先してキャッシュします． TEXPKを変更したり，フォントを削除したりしたためこのキャッシュから見つ からなかった場合には，キャッシュ全体をフラッシュします． 従って，TEXPKを変更したり，フォントを追加したりして状況を見る場合は， フォントのキャッシュをフラッシュしないと望む結果が得られないことがあり ます． なおフォントの所在のキャッシュのフラッシュは，Option -> Setup Parameters... -> Font2 -> [Flush} です．
この書き込みへの返事：