supertux
supertux copied to clipboard
Worldmaps: support switching music without scripts
Add a way to switch music in worldmaps without using scripts. This will be necessary for the "merged" Icy Island and Forest Island worldmap in a later release.