I built sonic pi from src, on linux. I’m on HDPI screen, and the font in the help browser is tiny. I select the help browser panel, and hit the button to embiggen the font, and it changes the font in the live-coding panel. I Try the keyboard shortcuts, same thing. I try right clicking in the help browser, or scroll wheel moving. Nope.
Is there a way to change the font size in the help browser? If not, is there a way to get that nice ordered menu view of content in a regular browser? I can see all the html in the
help directory, but the files are named obliquely, and there is no index or menu?
Many thanks in adavnce