Preferences editor - developers only
Only use if you know what you're doing. To prevent newbies to make mistakes here, editing a mapcomplete-preference is
only available if over 500 changes
Editing any preference -including non-mapcomplete ones- is available when you have more then 2500 changesets. Until that
point, only editing mapcomplete-preferences is possible.
'maindiv' not attached