Wow, Linkey, das ist toll! Ich konnte es heute morgen ausprobieren, und es funktioniert super. Mal wieder. Ganz herzlichen Dank. Dann kann ich mir die zusätzlichen Maps ja doch sparen.
Das wird natürlich in die Credits aufgenommen.

Eigentlich könnte so eine Funktion gut zum Standard des Makers gehören - wozu sonst tauscht man Tilesets aus?

Ich tausche tatsächlich auch noch an einer anderen Stelle des Spiels das Tileset aus, und natürlich trat das Problem dort auch auf. Aber es war bisher weder mir noch jemandem sonst aufgefallen.