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

https://github.com/pure-data/pure-data/issues/1183