[Feature request] Simple way to increase font size from within the GUI (or alternatively, via the relion-commandline, as a --flag)
Hello there,
Would it be possible to add a simple way to increase the font size, from within the GUI?
My eyesight isn't that great anymore (and I also now have a rather large monitor) and I in general increase the font size of most applications, to not burden my eyes too much. Starting relion, the text is all fairly small by default. I assume this can be changed globally (I did so for gtk-apps for instance), but if it would not be too much work, would it be possible to add a simple button or arrow or plus and - symbol, to increase font size?
A tooltip should also be shown. As not everyone wants this, perhaps in the options-preferences this can be disabled, so people who prefer the old way could retain the old way just fine, without having to see that
- / - symbols, or whatever is preferred. (The - symbol aka decrease font size, is not so important to me, but for synergistic UI a + and - should probably be offered at the same time).
Alternatively a commandline option could be used, e. g:
relion --large-fonts # or something like that; could then be the fonts at 150% compared to the default, or something like that
At any rate, thank you for reading this suggestion and perhaps considering it.
Thank you very much for your feedback. Unfortunately, coordinates and sizes of many GUI elements are hard-coded and it is not trivial to add the scaling option. I welcome pull requests if someone looking at this thread works on it.
FYI:
You might want to try Doppio in CCPEM. This is an Web-based interface for RELION (and other tools). Being on a Web browser, you should be able to change the font size. Unfortunately, the license is not as free as RELION and I have never tried it myself.