[Feature Request] Multiple Music Wheel Default Songs

[48productions]

It seems there's currently a method to set the song that is selected by default on the music wheel for players that aren't using a profile (via editing a theme's metrics.ini), but it'd be really cool to see an official method to be able to have the game randomly select from one of many default songs from a list (a la Simply Love's casual mode, just outside of casual mode/available to other themes).

Setting this via metrics/preferences would work. If you're feeling adventurous, it'd be even cooler if this could be turned into an overrideable lua module/script to allow themers to set their own random default songs, and have the flexibility for all kinds of other crazy things (like conditional default songs based on time of year, etc?), your choice what you wanna do here 100%.

---

Multiple default songs in general would be super nice in places like an Arcade setting to give casual players more variety, and to avoid annoying arcade operators from hearing the same song several times a day. :P

[48productions]

A bit of experimentation later and it turns out this is already possible in the game currently, whoops.

1. Create/edit the [GameState] section in your theme's metrics.ini
2. Add a DefaultSong= entry
3. Turns out you can just pass a lua function to this to get more than one default song... I didn't know this was a thing until now, figured it'd only take a string for a song name.
4. Make said lua function return a song path (Songs or AdditionalSongs/Group/Song)