Add map:get_default_music()
Hi Christopho!!
After changing the music on certain map, there should be a function to restart the default music of the map. (Maybe I am wrong, but I think there is not such function, at least for Solarus 1.0.)
Add a function map:get_default_music() giving the default music of the current map. Another option is to add map:play_default_music().
Thanks!!