Editor/UI question: "errors window" size/colour/font

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)

I also hope one day there will be a customisable GUI as every IDE has, or like most audio-programming (ex: supercollider, csoundqt).

I love sonicpi, but still have eyes issues due to themes. The customisation via text file in version 3.3 unfortunately doesn’t work.

GUI please! - no more limits!