DVIOUT - 図表示時の一時ファイルを圧縮する
GraphicタブのGIFをraw PBMにしていると，図を表示するときに大きなサイズの一時ファイル(*.pbm)が作られる．
monochrome BMPとかにしておけば，画像が圧縮されて小さいサイズの一時ファイル(*.bmc)が作られる．
GraphicタブのGIFをraw PBMにしていると，図を表示するときに大きなサイズの一時ファイル(*.pbm)が作られる．
monochrome BMPとかにしておけば，画像が圧縮されて小さいサイズの一時ファイル(*.bmc)が作られる．