Fix player data not being copied on respawn

src/main/java/folk/sisby/surveyor/PlayerSummary.java

@@ -183,6 +183,10 @@ public int viewDistance() {
 			return ((ServerPlayerEntity) this.player).getViewDistance();
 		}
 
+		public void copyExploration(ServerPlayerEntitySummary oldSummary) {
+			exploration.copyFrom(oldSummary.exploration);
+		}
+
 		public void read(NbtCompound nbt) {
 			exploration.read(nbt.getCompound(KEY_DATA));
 		}

src/main/java/folk/sisby/surveyor/SurveyorExploration.java

@@ -56,6 +56,11 @@ static SurveyorExploration ofShared(UUID player, MinecraftServer server) {
 
 	Set<UUID> sharedPlayers();
 
+	default void copyFrom(SurveyorExploration oldExploration) {
+		terrain().putAll(oldExploration.terrain());
+		structures().putAll(oldExploration.structures());
+	}
+
 	boolean personal();
 
 	default boolean exploredChunk(RegistryKey<World> worldKey, ChunkPos pos) {

src/main/java/folk/sisby/surveyor/mixin/MixinServerPlayerEntity.java

@@ -56,6 +56,11 @@ public void onDeath(DamageSource damageSource, CallbackInfo ci) {
 		);
 	}
 
+	@Inject(method = "copyFrom", at = @At("TAIL"))
+	public void copyFrom(MixinServerPlayerEntity oldPlayer, boolean alive, CallbackInfo ci) {
+		surveyor$summary.copyExploration(oldPlayer.surveyor$summary);
+	}
+
 	@Override
 	public PlayerSummary surveyor$getSummary() {
 		return surveyor$summary;