Hi,
I'm new to Arduino and I am doing my first experiments.
I'd like to play a bit with the libraries, but on my 4k monitor on linux the library manager default font is simply unreadable (ok, I've been twenty a couple of times).
There is any way to increase default font size in library manager?
Thank you for your help
AndreaS54