Default Font in Environment options

[Roger Garstang]

Can't recall 100% if it was there before, although it may have been, but when selecting the default font for controls in the Environment options it is always 1 off...I select Size 11 and click ok, and it shows 12, etc.

It appears to actually store the right value though, so it could be some rounding thing or something???