LeopoldTal 785eb31c8d make save compressor faster (#888) ... Fixes #836 by using a Map instead of an array. The Map maps the values to their indices rather than the reverse, making finding the index constant-time rather than linear, and so building the full map linear rather than quadratic. Flipping it to build the final array is also linear.		2020-10-31 12:12:05 +01:00
..
schemas	Fix toolbar color	2020-10-08 17:23:07 +02:00
savegame_compressor.js	make save compressor faster (#888)	2020-10-31 12:12:05 +01:00
savegame_interface_registry.js	Migrate old savegames	2020-09-22 09:32:31 +02:00
savegame_interface.js	Remove some todos	2020-06-28 20:31:22 +02:00
savegame_manager.js	Get rid of some todos / fixmes	2020-10-08 19:47:27 +02:00
savegame_serializer.js	Introduce game modes and get rid of global level definitions etc	2020-10-07 08:36:02 +02:00
savegame_typedefs.js	Allow naming savegames	2020-08-28 22:15:12 +02:00
savegame.js	Migrate old savegames	2020-09-22 09:32:31 +02:00
serialization_data_types.js	Minor fixes	2020-10-08 10:41:06 +02:00
serialization.js	Minor fixes	2020-10-08 10:41:06 +02:00
serializer_internal.js	Minor fixes	2020-10-08 10:41:06 +02:00