Re: font :height setting

["Shun-ichi GOTO" <shunichi.goto@xxxxxxxxx>]

あ、これで思い出した。

On 7/17/06, MIYOSHI Masanori <miyoshi@xxxxxxxxxxx> wrote:
> > これは 16dot までは正しいと思いますが、24dot では 180dp ではなく
> > 181dp になるようです。
>
> そうですか。でも、その理由が分かりません。参考となる文献がありまし
> たら教えてください。

実際そうなるかどうかは面倒なので確認していませんが、
181の根拠は 1inch = 72.27ptで計算するからであり、
72ptではないから、ではないですか。

 24[dot] / 96[dpi] * 72.27 = 18.0675 => 181[dp]
 24[dot] / 96[dpi] * 72.0 = 18.0 => 180[dp]

ところで、出版世界での point といえば としては1inchは 72.27 ptなのですが、
正確なところは知らないのですが、PCのdisplay世界ではそれをはしょって
72で計算するものだと聞きます。

で、問題なのは計算上どちらかに統一すべきなのですが、
本家Emacsのソースコード中にも 72.27を使用しているところと 72 (72.0)を
使用しているところがあります。

xfaces.c のPT_PER_INCH は 72.27で、
xdisp.c で定義される Vdisplay_pixels_per_inch は 72.0 です。
image.c も 72で計算しているようです。
ちなみにMSの(Widnowsの)計算も72です。

さて、どうしたもんでしょうね。

-- 
Shun-ichi GOTO