It fixes it! And it looks great! And I guess this also changes things a bit for the other operating systems, right?

Anyway, what are other bug fixes we should expect to see? There's this one sitting on github for a while now => https://github.com/pure-data/pure-data/pull/106 - we were hoping it'd make into the 0.48 release but it didn't, any chance this fix makes it into the new upcoming release?

thanks