Fabian Dill 
							
						 
					 
					
						
						
							
						
						3e40de72b2 
					 
					
						
						
							
							WebHost: add random choice to options  
						
						
						
						
					 
					
						2021-11-20 17:37:08 +01:00 
						 
				 
			
				
					
						
							
							
								Fabian Dill 
							
						 
					 
					
						
						
							
						
						28e724da98 
					 
					
						
						
							
							WebHostLib.options: move to makedirs instead of mkdir.  
						
						
						
						
					 
					
						2021-10-19 02:50:18 +02:00 
						 
				 
			
				
					
						
							
							
								Chris Wilson 
							
						 
					 
					
						
						
							
						
						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 
						 
				 
			
				
					
						
							
							
								Chris Wilson 
							
						 
					 
					
						
						
							
						
						df0e8bc027 
					 
					
						
						
							
							Remove aliased options from player-settings pages  
						
						
						
						
					 
					
						2021-09-22 00:21:57 -04:00 
						 
				 
			
				
					
						
							
							
								Fabian Dill 
							
						 
					 
					
						
						
							
						
						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 
						 
				 
			
				
					
						
							
							
								Chris Wilson 
							
						 
					 
					
						
						
							
						
						abc0220cfa 
					 
					
						
						
							
							Include the game name in the generated JSON files used to populate player-settings pages  
						
						
						
						
					 
					
						2021-09-16 17:15:25 -04:00 
						 
				 
			
				
					
						
							
							
								Chris Wilson 
							
						 
					 
					
						
						
							
						
						4fcce66505 
					 
					
						
						
							
							Move game names and descriptions into AutoWorld, fix option value names on player-settings pages  
						
						
						
						
					 
					
						2021-08-31 17:28:46 -04:00 
						 
				 
			
				
					
						
							
							
								Fabian Dill 
							
						 
					 
					
						
						
							
						
						adfd68f83c 
					 
					
						
						
							
							Options: fix get_option_name  
						
						
						
						
					 
					
						2021-08-31 22:14:18 +02:00 
						 
				 
			
				
					
						
							
							
								Fabian Dill 
							
						 
					 
					
						
						
							
						
						ff2e57705e 
					 
					
						
						
							
							WebHost: sample yamls now render Range defaults correctly  
						
						
						
						
					 
					
						2021-08-31 19:54:55 +02:00 
						 
				 
			
				
					
						
							
							
								Chris Wilson 
							
						 
					 
					
						
						
							
						
						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 
						 
				 
			
				
					
						
							
							
								Chris Wilson 
							
						 
					 
					
						
						
							
						
						e1e25d0eae 
					 
					
						
						
							
							Add range options to player-settings pages  
						
						
						
						
					 
					
						2021-07-25 19:04:08 -04:00 
						 
				 
			
				
					
						
							
							
								Chris Wilson 
							
						 
					 
					
						
						
							
						
						f45c042351 
					 
					
						
						
							
							Include range options in generated JSON files for player-settings  
						
						
						
						
					 
					
						2021-07-25 18:18:15 -04:00 
						 
				 
			
				
					
						
							
							
								Chris Wilson 
							
						 
					 
					
						
						
							
						
						71642f494f 
					 
					
						
						
							
							Automatically generate and save player settings for every game  
						
						
						
						
					 
					
						2021-07-24 23:09:34 -04:00 
						 
				 
			
				
					
						
							
							
								Chris Wilson 
							
						 
					 
					
						
						
							
						
						8ba408385b 
					 
					
						
						
							
							Update options.py to generate JSON files to be used with player-settings pages  
						
						
						
						
					 
					
						2021-07-24 21:27:56 -04:00 
						 
				 
			
				
					
						
							
							
								Fabian Dill 
							
						 
					 
					
						
						
							
						
						34ff5d9662 
					 
					
						
						
							
							create options files on WebHost startup  
						
						
						
						
					 
					
						2021-07-22 18:21:31 +02:00