As far as bug fixes go, we could try and fix this one =>  https://github.com/pure-data/pure-data/issues/1138

If there's time... of course. It seems this bug was created in 0.51-1

cheers

Em qui., 15 de out. de 2020 às 14:14, Alexandre Torres Porres <porres@gmail.com> escreveu:
I made a small fix to expr's help file https://github.com/pure-data/pure-data/pull/1184

Em qui., 15 de out. de 2020 às 12:57, Alexandre Torres Porres <porres@gmail.com> escreveu:
Em qui., 15 de out. de 2020 às 12:53, Alexandre Torres Porres <porres@gmail.com> escreveu:
the font size in the terminal is smaller

opened an issue on github that shows a screenshot