Is there a way to change the font size of the Arduino IDE?
Editor font size is set via File > Preferences > Editor font size:. Other fonts can be customized by editing the file {Arduino IDE install folder}/lib/theme/theme.txt.
Is there a way to change the font size of the Arduino IDE?
Editor font size is set via File > Preferences > Editor font size:. Other fonts can be customized by editing the file {Arduino IDE install folder}/lib/theme/theme.txt.