Em qui., 15 de out. de 2020 às 12:53, Alexandre Torres Porres <porres@gmail.com> escreveu:the font size in the terminal is smalleropened an issue on github that shows a screenshothttps://github.com/pure-data/pure-data/issues/1183
the font size in the terminal is smaller