How to incorporate extra options into IDE 1.6.xx?

Projects Programming
1

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 stumped. What I need to do is read my two custom preferences and use them to add (or not add) certain strings to the "Platform.txt" file.

In other words, using C-like syntax, here's an example of what I want to do:

// this file is "platform.txt"
build.extra_flags={build.my_option_one} ? "custom text" : ""

Another question: While I was editing the "Preferences.java" file, I noticed the warning not to edit it directly because it would be regenerated with the contents of "Preferences.form" (which seems to be a quite nice and easy to customize the preferences!).

So, I tried reverting to the original Preferences.java, then placed my edits into Preferences.form and re-compiled (using ant). The Preferences.java file remained unchanged. It was not updated with the new contents of Preferences.form. What do I need to do to update (regenerate?) the Preferences.java file with the edited Preferences.form?

Any help will be greatly appreciated!

2

I'd use their code and system for the Compiler warning level(compiler.warning_flags), Verbose output on upload(upload.verbose, etc.), and Verify code after upload(upload.verify, etc.) as a reference. These are all used to apply preferences settings to platform.txt.