Buried somewhere deep in the arduino directory (on a linux machine) is a file called 'theme.txt'.
The editor config settings have been moved to there.
Buried somewhere deep in the arduino directory (on a linux machine) is a file called 'theme.txt'.
The editor config settings have been moved to there.