next up previous contents
Next: 特別なフォントのサイズを変更する Up: フォントサイズを変更する Previous: フォントサイズを変更する

ふつうのフォントのサイズを変更する

フォントサイズを変更する際には、高さを fontsize  で、 幅を fontwidth  でそれぞれ指定する。 デフォルトは 200、100 である。

日本語フォントの場合、高さは英数字と同じで fontsize であるが、幅は jfontwidth  で別に指定する。 デフォルトは 200 である。



Masayuki Kuwada
Fri Nov 8 15:33:42 JST 1996