以前のエディターでは chromeウエブストアから「Font Size Changer for AppsScript」というツールを導入すると文字サイズを変更するドロップダウンが表示される。 2021年11月17日現在の新エディッターでは 「F1」キーを押す→「エディターのフォントを拡大」 …