26 Feb
2020
26 Feb
'20
1:54 p.m.
Em qua., 26 de fev. de 2020 às 09:50, Christof Ressi info@christofressi.com 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