Jonathan Coates 1fc0214857 Some redesigning of the settings API (#408) ... - The store is now split into two sections: - A list of possible options, with some metadata about them. - A list of values which have been changed. - settings.define can be used to register a new option. We have migrated all existing options over to use it. This can be used to define a default value, description, and a type the setting must have (such as `string` or `boolean). - settings.{set,unset,clear,load,store} operate using this value list. This means that only values which have been changed are stored to disk. Furthermore, clearing/unsetting will reset to the /default/ value, rather than removing entirely. - The set program will now display descriptions. - settings.{load,save} now default to `.settings` if no path is given.		2020-04-21 11:37:56 +01:00
..
java/dan200/computercraft	Add textutils.unserialiseJSON (#407)	2020-04-19 15:08:46 +01:00
resources/test-rom	Some redesigning of the settings API (#408)	2020-04-21 11:37:56 +01:00