Well, we do plan to eventually have a dialog to change the stuff in Preferences.properties.
I think this feature is very decent for the next release. Seems very easy to implement and very functional.
So, are you gonna make it ?
No. As I said, my brainpower would be better spent working on something else, like fixing existing bugs. Go grab a random Java dev and have them do it. It's very easy, just incredibly tedious.
