Can't change fonts etc. in Preferences.txt
|
5
|
2387
|
May 5, 2021
|
More customizable IDE?
|
19
|
5877
|
May 6, 2021
|
Changing IDE fonts
|
12
|
798
|
March 5, 2023
|
Font Size and Color and Printing Parameters with Arduino IDE
|
1
|
2354
|
May 6, 2021
|
Any way to customise the IDE colours?
|
3
|
844
|
May 5, 2021
|