Font size for autocomplete


#1

Hello everybody,

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!


#2

No, sorry, there’s currently no way of doing this dynamically. Apologies.


#3

Also, the correct place for questions like this is the Support, Help and Resources category. I’ve moved it from Introductions and Stories where you first posted it.

Please do consider supporting Sonic Pi’s continued development over on Patreon so that I can work on features like this going forward: