How to change font size (zoom) in Processing IDE?

How to change font size in Processing IDE?

svan July 25, 2024, 6:32pm 2

Font size may be changed under Settings.

Topic		Replies	Views
IDE Font Setting Processing	1	48	May 28, 2025
Import custom font into the Processing editor? Processing	4	224	December 13, 2022
How to use Processing on 4k displays? Processing	10	2099	November 17, 2018
Processing IDE scale variables Development	2	472	December 2, 2020
Change Size of menu bar Development	1	342	June 23, 2020