I’m enjoying experimenting with sonic-pi … except the editor + UI is driving me a bit nutty.
Is there any way of changing the error window or at least changing its size & font size? Or setting it so the font size matches that of the edit buffer (which I like to have at about 8 or 10 points)