e06888cf89
Good to be explicit about the fact that we may still use the pixel property sub-type when DPI will be applied. See comments in https://developer.blender.org/D7077.