sazius

Pumpa crashing

sazius at

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 :-)

AJ Jordan, Timo Kankare likes this.

Stephen Michael Kellat shared this.

Show all 7 replies

OK, I will try to get a bunch of other bug fixes in, and then make a minor release.

ETA: hopefully within a week or two! Life is busy now with the baby :-)

sazius at 2016-09-03T06:55:09Z

And could you please implement the function to change font size? Could it be done only in the config file? Thanks

Hiker at 2016-09-03T09:55:10Z

>> Hiker:

“And could you please implement the function to change font size? Could it be done only in the config file? Thanks”

If that's done then it becomes something I can backport.

Stephen Michael Kellat at 2016-09-03T19:56:29Z

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.:

font_size=14

Currently it only affects "rich text" labels in Pumpa, though. Not other GUI elements. Not sure if that is sufficient?

sazius at 2016-09-14T19:32:47Z