Multiple Font Selection and Color issues.

[pendletonrc]

Please, I have only one working eye and my other eye is not working so well. Please consider making it easier to change fonts and colors in the IDE. The default font is actually painful to read and much of the gray text is completely unreadable. I have spent most of two days fiddling with the preferences.txt and theme.txt files and I have managed to change one font face. I have learned that most of the fonts do not change even when changed either configuration file. I have learned that changing "plain" to either "bold" or "Italic" does not change the fonts to bold or italic they just seem to make the font worse.
I haven't tried to change colors yet.

I've been programming since 1972 and working on 8 bit micros off and on since the middle '70s when the 8080 came out.

[per1234]

We do already have a previous request for making it easier to modify the Arduino IDE theme: #6454

Regarding changing the font style having no effect: I can reproduce that problem with editor.font in preferences.txt (Windows 10 64 bit, Arduino IDE 1.8.6 Hourly Build 2018/06/18 03:33). Changing the console.font font style in theme.txt does work as expected (that was the only theme property I tried).

I have attempted to document the theme settings here:
https://github.com/per1234/ThemeTest/blob/master/README.md
maybe that will be helpful to you

[pendletonrc]

Thank You for looking at this. I am using 1.8.5, on Ubuntu 18.04 64. It does not work for me.

…

On Wed, Jul 11, 2018 at 9:33 PM, per1234 ***@***.***> wrote: We do already have a previous request for making it easier to modify the Arduino IDE theme: #6454 <#6454> Regarding changing the font style having no effect: I can reproduce that problem with editor.font in preferences.txt (Windows 10 64 bit, Arduino IDE 1.8.6 Hourly Build 2018/06/18 03:33). Changing the console.font font style in theme.txt does work as expected (that was the only theme property I tried). I have attempted to document the theme settings here: https://github.com/per1234/ThemeTest/blob/master/README.md maybe that will be helpful to you — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#7780 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AnOjvC6_dtxKy3Wxui2NtWo9MOBy8Qcxks5uFrVjgaJpZM4VMGE9> .

-- +----------------------------------------------------------- + Bob Pendleton: writer and programmer + email: [email protected] + blog: www.TheGrumpyProgrammer.com

[per1234]

We now have a dedicated issue for the font style parameter of editor.font having no effect (#8484), and already had one about making the theme easier to edit, so I'm going to close this issue. We'll track progress in resolving the problems you reported in the other issue reports.