biwa 24c2b9896d Added option to reselect changed map elements after undo/redo		2023-04-25 00:43:09 +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	Added option to reselect changed map elements after undo/redo	2023-04-25 00:43:09 +02:00