Em dom., 19 de jul. de 2020 às 22:00, Alexandre Torres Porres <porres@gmail.com> escreveu:

yes and I think it's been reported on github somewhere and maybe there's a fix already

no fix, but here's the issue https://github.com/pure-data/pure-data/issues/402