>>938

Jedit Xをダウンロードして設定を見たんですが、どこでプリント時に
-3ptに設定できるのか……。どなたかご教授お願いします。