<div dir="ltr">As far as bug fixes go, we could try and fix this one =>  <a href="https://github.com/pure-data/pure-data/issues/1138">https://github.com/pure-data/pure-data/issues/1138</a><div><br></div><div>If there's time... of course. It seems this bug was created in 0.51-1</div><div><br></div><div>cheers</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Em qui., 15 de out. de 2020 às 14:14, Alexandre Torres Porres <<a href="mailto:porres@gmail.com">porres@gmail.com</a>> escreveu:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">I made a small fix to expr's help file <a href="https://github.com/pure-data/pure-data/pull/1184" target="_blank">https://github.com/pure-data/pure-data/pull/1184</a><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Em qui., 15 de out. de 2020 às 12:57, Alexandre Torres Porres <<a href="mailto:porres@gmail.com" target="_blank">porres@gmail.com</a>> escreveu:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr"><div>Em qui., 15 de out. de 2020 às 12:53, Alexandre Torres Porres <<a href="mailto:porres@gmail.com" target="_blank">porres@gmail.com</a>> escreveu:<br></div></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">the font size in the terminal is smaller</div></blockquote><div><br></div>opened an issue on github that shows a screenshot<div><br></div><div><a href="https://github.com/pure-data/pure-data/issues/1183" target="_blank">https://github.com/pure-data/pure-data/issues/1183</a> </div></div></div>
</blockquote></div>
</blockquote></div>