|  |  | @@ -105,11 +105,11 @@ | 
		
	
		
			
			|  |  |  | </label> | 
		
	
		
			
			|  |  |  | </div> | 
		
	
		
			
			|  |  |  | <div class="options-row"> | 
		
	
		
			
			|  |  |  | <input type="checkbox" id="options-world-show-names"> | 
		
	
		
			
			|  |  |  | <input type="checkbox" id="options-world-show-names" checked=true> | 
		
	
		
			
			|  |  |  | <label for="options-world-show-names">Names over entities</label> | 
		
	
		
			
			|  |  |  | </div> | 
		
	
		
			
			|  |  |  | <div class="options-row"> | 
		
	
		
			
			|  |  |  | <input type="checkbox" id="options-world-show-bottom-names"> | 
		
	
		
			
			|  |  |  | <input type="checkbox" id="options-world-show-bottom-names" checked=true> | 
		
	
		
			
			|  |  |  | <label for="options-world-show-bottom-names">Names at bottom</label> | 
		
	
		
			
			|  |  |  | </div> | 
		
	
		
			
			|  |  |  | 
 | 
		
	
	
		
			
				|  |  | 
 |