[Flush]
よく使うフォントの所在の記録(dvioutの起動を高速化するために用いる)を消去します(cf.
-Fkeep:
)。
注意:
-TEXPK:
や
-TEXROOT:
を変更した場合、記録のフォーマットのバージョンが異なる場合、フォントファイルを移動した場合などは、自動的に記録が消去されます。よって、[Flush]ボタンを押す必要は少ないでしょう。
-ttf:
[WinJFont]
での欧文フォントの設定を変えた場合は、[Flush]を使う必要があることがあります。