forked from MapComplete/MapComplete
		
	
		
			
	
	
		
			27 lines
		
	
	
	
		
			780 B
		
	
	
	
		
			HTML
		
	
	
	
	
	
		
		
			
		
	
	
			27 lines
		
	
	
	
		
			780 B
		
	
	
	
		
			HTML
		
	
	
	
	
	
| 
								 | 
							
								<!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>
							 |