<!DOCTYPE html> <html> <head> <link href="index.css" rel="stylesheet"/> <title>Preferences editor</title> <style> table { border-collapse: collapse; } table, th, td { border: 1px solid black; } </style> </head> <body> <h1>Preferences editor - developers only</h1> 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<br/> 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. <div id="maindiv">'maindiv' not attached</div> <script src="./preferences.ts"></script> </body> </html>