3e40de72b2
WebHost: add random choice to options
2021-11-20 17:37:08 +01:00
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
Fabian Dill
Chris Wilson