It is possible to alter the behaviour of the IDE by changing the preferences.txt file. But without a list of the available options and some description of what they do one is stumbling around in the dark.
I have searched the Arduino website and have not found more than the briefest mention of IDE preference options. We should not be forced to rely on very inefficient and risky trial and error and luck because of a lack of access to appropriate information.
Clearly a lot of fine people have gone to considerable effort to craft code for IDE options. But what was the point if they are hardly used because few people know what non-default options are available or what they do?