drawoptions(withpen pencircle scaled 2); とか書いておくとそれが付加されて描画されるらしい.んで,GNUPlot の MetaPost 出力がこれを多用するためにグラフを他のところに Picture として使おうとするときには drawoptions(); でオプションをクリアしとかないと大変なことになる.
- Newer: Meadow で Ispell
Home > ソフトウェア > MetaPostで draw のデフォルトオプションを指定
drawoptions(withpen pencircle scaled 2); とか書いておくとそれが付加されて描画されるらしい.んで,GNUPlot の MetaPost 出力がこれを多用するためにグラフを他のところに Picture として使おうとするときには drawoptions(); でオプションをクリアしとかないと大変なことになる.