いつも忘れるのでメモ。
「ウィンドウ」→「設定」を開いて、「一般」→「エディター」→「テキスト・エディター」の順に開いて、「色とフォント」を選択。
![](https://i0.wp.com/tech.mlexp.net/wp-content/uploads/sites/3/2023/09/image-19.png?resize=698%2C622&ssl=1)
さらに「基本」→「テキストフォント」を選択して「編集」で、テキストについてデフォルトとなるフォントが設定できる。
![](https://i0.wp.com/tech.mlexp.net/wp-content/uploads/sites/3/2023/09/image-20.png?resize=697%2C669&ssl=1)
いつも忘れるのでメモ。
「ウィンドウ」→「設定」を開いて、「一般」→「エディター」→「テキスト・エディター」の順に開いて、「色とフォント」を選択。
さらに「基本」→「テキストフォント」を選択して「編集」で、テキストについてデフォルトとなるフォントが設定できる。