Hi Michael,

For example when i want to modify the diameter of a circle from
100,2mm to 100mm i open the EDIT SIZE tab and add -0,2 after 100,2000.
The result is 2,0000mm which is not what i expect.
Playing around i discovered that the right input is 100.2mm-0.2mm.

The mixed use of a comma delimitor and a decimal point is a bit confusing.
Wouldn't it be better to use only a decimal point as delimiter?