28e724da98 
								
							 
						 
						
							
							
								
								WebHostLib.options: move to makedirs instead of mkdir.  
							
							
							
						 
						
							2021-10-19 02:50:18 +02:00  
				
					
						
							
							
								 
						
							
								ef8af7d618 
								
							 
						 
						
							
							
								
								Move config files and player-settings js files to /generated/configs and /generated/player-settings and update the pages that use them  
							
							
							
						 
						
							2021-10-11 21:37:08 -04:00  
				
					
						
							
							
								 
						
							
								df0e8bc027 
								
							 
						 
						
							
							
								
								Remove aliased options from player-settings pages  
							
							
							
						 
						
							2021-09-22 00:21:57 -04:00  
				
					
						
							
							
								 
						
							
								a82bf1bb32 
								
							 
						 
						
							
							
								
								Options: raise Exception if per-game options are in root  
							
							... 
							
							
							
							Options: implement progression balancing and accessibility on new system
Options: implement the notion of "common" and "per_game_common" options in various systems
Options: centralize item and location name checking
Spoiler: prettier print some lists, sets and dicts
WebHost: add common options into /templates 
							
						 
						
							2021-09-17 00:17:54 +02:00  
				
					
						
							
							
								 
						
							
								abc0220cfa 
								
							 
						 
						
							
							
								
								Include the game name in the generated JSON files used to populate player-settings pages  
							
							
							
						 
						
							2021-09-16 17:15:25 -04:00  
				
					
						
							
							
								 
						
							
								4fcce66505 
								
							 
						 
						
							
							
								
								Move game names and descriptions into AutoWorld, fix option value names on player-settings pages  
							
							
							
						 
						
							2021-08-31 17:28:46 -04:00  
				
					
						
							
							
								 
						
							
								adfd68f83c 
								
							 
						 
						
							
							
								
								Options: fix get_option_name  
							
							
							
						 
						
							2021-08-31 22:14:18 +02:00  
				
					
						
							
							
								 
						
							
								ff2e57705e 
								
							 
						 
						
							
							
								
								WebHost: sample yamls now render Range defaults correctly  
							
							
							
						 
						
							2021-08-31 19:54:55 +02:00  
				
					
						
							
							
								 
						
							
								4c0f0a16c9 
								
							 
						 
						
							
							
								
								Updates to WebHost  
							
							... 
							
							
							
							- Support displayname option for Options module
- Improvements to landing page
- Added multi-language capable FAQ page
- Removed weighted-settings page
- Removed references to weighted-settings page 
							
						 
						
							2021-08-22 20:01:58 -04:00  
				
					
						
							
							
								 
						
							
								e1e25d0eae 
								
							 
						 
						
							
							
								
								Add range options to player-settings pages  
							
							
							
						 
						
							2021-07-25 19:04:08 -04:00  
				
					
						
							
							
								 
						
							
								f45c042351 
								
							 
						 
						
							
							
								
								Include range options in generated JSON files for player-settings  
							
							
							
						 
						
							2021-07-25 18:18:15 -04:00  
				
					
						
							
							
								 
						
							
								71642f494f 
								
							 
						 
						
							
							
								
								Automatically generate and save player settings for every game  
							
							
							
						 
						
							2021-07-24 23:09:34 -04:00  
				
					
						
							
							
								 
						
							
								8ba408385b 
								
							 
						 
						
							
							
								
								Update options.py to generate JSON files to be used with player-settings pages  
							
							
							
						 
						
							2021-07-24 21:27:56 -04:00  
				
					
						
							
							
								 
						
							
								34ff5d9662 
								
							 
						 
						
							
							
								
								create options files on WebHost startup  
							
							
							
						 
						
							2021-07-22 18:21:31 +02:00