2016-01-01から1年間の記事一覧

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

フォントサイズ10.5pt(96dpi環境上での14px)が使いたいのに指定できないとお困りのあなたへ。 .minttyrc に FontHeight=-14 のようにマイナスで値を指定するとピクセル指定になります。 mintty のソースコード (wintext.c) にも font_height = size > 0 ? -M…