2006年03月04日
MetaPostで draw のデフォルトオプションを指定
drawoptions(withpen pencircle scaled 2); とか書いておくとそれが付加されて描画されるらしい．んで，GNUPlot の MetaPost 出力がこれを多用するためにグラフを他のところに Picture として使おうとするときには drawoptions(); でオプションをクリアしとかないと大変なことになる．
- Comments: 0
- TrackBack (Close): -
drawoptions(withpen pencircle scaled 2); とか書いておくとそれが付加されて描画されるらしい．んで，GNUPlot の MetaPost 出力がこれを多用するためにグラフを他のところに Picture として使おうとするときには drawoptions(); でオプションをクリアしとかないと大変なことになる．