Em qua., 26 de fev. de 2020 às 09:50, Christof Ressi <[email protected]> escreveu:
> The other possibility would be that the GUI objects perform some kind of > rounding in double precision mode according to the box width. > Yeah, I think that definitely would be the best feature/solution
_______________________________________________ Pd-dev mailing list [email protected] https://lists.puredata.info/listinfo/pd-dev
