Thanks, I'll go and have a look.I thought i seen it in the summary of bug fixes not sure though.
Tbh there probably isn't any harm in doing the update anyway, as it'll either be fixed or not.
edit:
Hmm.. release notes specifically mention fix for 4K displays, which mine is not! but I'll give it a go anyway.