mintty でピクセル単位のフォントサイズを指定する
フォントサイズ10.5pt(96dpi環境上での14px)が使いたいのに指定できないとお困りのあなたへ。
.minttyrc
に
FontHeight=-14
のようにマイナスで値を指定するとピクセル指定になります。
mintty のソースコード (wintext.c
) にも
font_height = size > 0 ? -MulDiv(size, GetDeviceCaps(dc, LOGPIXELSY), 72) : size;
と書かれており、ちゃんとした挙動なのでごあんしんください。
ただし、ピクセル直接指定なので DPI Aware ではなくなります。