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