Hi all, how can I change the Arduino IDE menu font size? Reason: I have installed a lot of cores and my screen is not large enough to show them all. The respective menu does not scroll down, so I'd like to choose a smaller font for the menus. I did find settings to change just about every other font…

How to change Arduino IDE menu font size?

system January 15, 2013, 4:54am 6

Nevermind. Fixed after reboot.

Topic		Replies	Views
Menu Font Size in Windows IDE 2.x	1	257	December 19, 2022
Arduino IDE menu bar text too big, cannot change it IDE 1.x	14	2019	August 26, 2022
Font Size IDE 1.x	2	565	May 5, 2021
Can't resize font in FILE/EDIT line Libraries	4	1183	May 6, 2021
How can I increase the size of tiny Arduino menu fonts on Fedora KDE? IDE 1.x	6	474	June 7, 2023