I can confirm this bug and I have solution for it. You need to find in
/usr/share/games/smc/world/world_1/world.xml string "<property
name="destination" value="world_2" />" and replace it by "<property
name="destination" value="World 2" />".
Similar patch is needed in other world.xml files, for example in
/usr/share/games/smc/world/world_2/world.xml should be "World 1" and
"World 3" instead of "world_1" and "world_3".
--
Jan Potocki
Mysłakowice
tup...@kurczak.one.pl
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org