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