Hello!
I remember reading before that there are no settings to permanently change the audio output of Sonic Pi v4.6 to a different device. It seems to be stuck using the headphones, even if I now switched my main computer audio. How would I go about changing the audio output of the software?