Version 4.0 - audio sources with pupils

Hello,

first of all - Sonic Pi is a blast, no questions about it.

Since version 4.0.0 you have to restart Sonic PI each time you want to switch between Earbuds and direct output from the macbook or pc. Also we could’t get Headsets to work at all.
We installed 3.3.4 and you can seamless switch between Headset and Direct Audio Output.

Maybe its related with version 4.0.
We are using macbooks (air, pro, m1) and windows devices (mostly win10 and 11).

Greetings,
a teacher from switzerland