26.11.2017, 19:56
(26.11.2017, 18:56)Selur Wrote: Okay, didn't apply it to the values of the encoding settings, doing so now.
Cu Selur
I think you misunderstood, i wasn't asking for that.
I was just 'thinking aloud' about possible applications and problems applying it there would have and how to possibly deal with those... Thus my later suggestion for optional removal of trailing post-decimal-point zeroes, instead.