UserLandのターミナルの文字サイズはピンチインで大きくなる

本当です

そりゃあAndroidアプリだから、出来てもおかしくないよね

ターミナルのフォント設定をいじろうとした3時間はどこかにいったのだ

ところでターミナルのフォントやフォントサイズをいじるのって、結構大変なんだね

僕と同じ3時間を無駄にさせないため、一行で終わる情報ですが、ネットの海に流しておくね