POLIMARKER_HEIGHT
(SG:PMFACT)

型 real
初期値 2.0
説明 ポリマーカープリミティブが描くマーカーの大きさを調整する係数.ポリマーカープリミティブはテキストプリミティブを用いてマーカーを描く.このとき, 描くマーカーは標準的な文字高に比べて小さい(フォントテーブル8.1.2,8.1.3節参照).この内部変数はマーカーが標準的な文字高を持つようにするため使われる拡大係数である.