Font size

The IDE needs a way to change the font size. The current font, when viewed on a small tablet (Windows 8.1 Pro, ASUS), is nearly unreadable to someone who is 67 and needs trifocals. I desperately need a way to get a larger font. And, if possible, boldface. I am incurring great amounts of pain trying to write code.

You can change fonts and font size by manually editing the preferences.txt file; it turns out there are a lot of options that lack a GUI to change them. There have been a number of discussions on size as well as "better" fonts (where 1 and l and I are easily distinguishable, for instance.) Here's one http://forum.arduino.cc/index.php?topic=60940.0