フォント

この記事は2022年10月以前に公開し、一度消失してしまったものですが、Wayback Machineのキャッシュデータから復元しました。当時の備忘録として再掲載します。 minttyのフォントをInconsolataに … 続きを読む