POLIMARKER_HEIGHT
(SG:PMFACT)

型 real
初期値 2.0
説明 マーカーの大きさを調整する係数.マーカーを描くルーチンはテキスト出力ルーチンを用いてマーカーを描く.このとき, 描くマーカーは標準的な文字高に比べて小さい.この内部変数はマーカーが標準的な文字高を持つようにするため使われる拡大係数である.