Hello everyone
I found some problems in the interface.
I am using Sonic Pi 3.2.2 on Windows 10.
Sometimes I found myself in need of reducing or augmenting the size of the text but when I use the appropriate shortcuts (CTRL - or CTRL+ with the cursor on the window I want to modify) I only manage to reduce the size of text in the log section (even though my cursor is on the main window of the interface) and then I am unable to augment it.
I instead manage to reduce and augment the size of the text in the main window by using the graphic buttons on the top-left, but only on the main window.
Is it a bug of the interface or am I doing something wrong?
Thank you for your help.
Giovanni