font sizes can't (?) be changed in help window in Linux

[petrelharp]

I've been meaning to bring this up for a while, but: Ctrl-+/- increases/decreases font size in the main script/output window, but it does not work in the "help" window. The font in the help window is Very Small on my set-up, and I can find no way to increase it.

[bhaller]

Yeah, only the main window script/output areas currently get scaled. The text in the help window could get scaled too (and in the variable browser, and the object tables window, and so forth); it's just work. Scaling the user interface elements themselves (buttons, pop-ups, etc.) is harder; is that part of the problem? A screenshot would be helpful. In general, Qt's UI scaling, and particularly how it handles (or doesn't handle) high-DPI screens, is a mystery to me and doesn't seem to work well. There's a section in the manual about this, 2.7, "SLiMgui widgets or text are small, or the SLiMgui window layout is screwed up"; it is geared towards Windows users, but might be useful for you too. But I agree that it'd be great for more stuff to be scalable.