For those affected by the Pumpa crashing bug in Debian stretch, I am working on it. It's just going slow due to very limited free time :-)
Stephen Michael Kellat shared this.
Hi, are you able to test Pumpa from the git repository? If so, could you please test the font size now?
There is now a setting, available only in the config file (typically
~/.config/pumpa/pumpa.conf. Set in the
[%General] section a line with the desired point size, e.g.:
Currently it only affects "rich text" labels in Pumpa, though. Not other GUI elements. Not sure if that is sufficient?