エディタでプロポーショナルフォントを使いたがるなんて
頭にバグがある。