Is there a way I can switch the audio output source in Sonic Pi without restarting the program. I am using a Mac which I recently updated to High Sierra 10.13.6. I have always had this issue when switching from the built-in output to the multi-output device or to an HDMI output. Sonic PI never recognizes this switch unless I close the program and restart it. Is there a way I can do this without restarting? Since the update, I’ve had some problems with Sonic PI opening a second time and have had to restart the computer (but that is a whole other issue).