読者です 読者をやめる 読者になる 読者になる

mintty でピクセル単位のフォントサイズを指定する

フォントサイズ10.5pt(96dpi環境上での14px)が使いたいのに指定できないとお困りのあなたへ。

.minttyrc

FontHeight=-14

のようにマイナスで値を指定するとピクセル指定になります。

mintty のソースコード (wintext.c) にも

font_height =
  size > 0 ? -MulDiv(size, GetDeviceCaps(dc, LOGPIXELSY), 72) : size;

と書かれており、ちゃんとした挙動なのでごあんしんください。

ただし、ピクセル直接指定なので DPI Aware ではなくなります。