I hope this is the right place to ask this question, if not, please point me in the right direction.
I love Sonic Pi, just started playing with it today, but the big variety of font sizes is more than a simple annoyance for me - it makes it much harder to use for me, since some of the fonts are too small and hard to read.
I know some of the panels - like the coding area, and the log - can be zoomed in and out, which is great, but other fonts just stay too small for me.
The most critical piece of UI that I wish to enlarge its font, is the autocomplete drop down menu. Is there a way to do it?
Thanks in advance!