ZoneBuilder/Source
2023-04-25 00:30:16 +02:00
..
Core Sectors Mode: the sectors things are in are only determined if necessary, which should increase performance when switching into Sectors Mode in very big maps 2023-04-24 23:57:52 +02:00
Plugins Sectors Mode: fixed a problem where things were not selected correctly when synchronized thing edit was enabled 2023-04-25 00:30:16 +02:00