2020-08-08 17:50:43 +02:00
|
|
|
<!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>
|
2021-09-09 00:05:51 +02:00
|
|
|
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.
|
2020-08-08 17:50:43 +02:00
|
|
|
<div id="maindiv">'maindiv' not attached</div>
|
|
|
|
|
<script src="./preferences.ts"></script>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
