Hi all, I have the source for the Arduino IDE v1.6.11 and I added two option checkboxes to the "Preferences" section (which works perfectly - the values (boolean true or false) are stored in the Preferences.txt file and I can retrieve them using the "Preferences.get() blah-blah" call). But now I'm…

How to incorporate extra options into IDE 1.6.xx?

Topic		Replies	Views
Where can I find out about available IDE preference options? Programming	4	696	May 5, 2021
preferences.txt overwritten always IDE 1.x	5	1387	May 5, 2021
Editing the preferences.txt file Programming	9	5654	May 5, 2021
Alterações no preferences.txt não funcionam Portugues	3	1913	May 6, 2021
A proper explanation of the preferences.txt files. Bugs & Suggestions	10	19823	May 6, 2021