Hi–the other day I posted about the code editor text size reverting back to large after I reopened Sonic Pi. I deleted the post after the text in two of the workspaces kept their text size after restarting. I had thought the problem was fixed, but it is still there. The text in those two workspaces now remains as I set it, but any size changes I make do not persist in them. Other workspaces stay at the default large font, regardless of any changes I make.
Other setup items do persist, such as preferences like theme color, logging options, etc. It’s just the text size. I have installed on two different computers, and have the same issue on both. I have tried reinstalling. I have not had this problem with previous SP releases on these computers.