Grrrr.... it just happened again :-(
I'll go back to checking the option Optimize rendering for screens with different pixel densities and try it like that for a few days.
[Edit...] Nope, that didn't work - it just did it again :-(
[Edit2...] and again - that's 3 times today in the space of two hours. (even after re-booting). And yet it was fine all day yesterday. I can't think what else to try....