<div dir="ltr"><div dir="ltr">Em ter., 23 de nov. de 2021 às 17:42, Christof Ressi <<a href="mailto:info@christofressi.com">info@christofressi.com</a>> escreveu:<br></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>
    <p>This is indeed fixed in IEM GUIs, but not in *gatom* labels.<br></p></div></blockquote><div>hmmm, I see, not a regression (same happened in 0.51-4), but definitely some worth fixing as long as we're at it. Now $0-x becoming #0-x is a regression. Well, I put it all into an issue: <a href="https://github.com/pure-data/pure-data/issues/1476">https://github.com/pure-data/pure-data/issues/1476</a></div></div></div>