Thanks SD. Unfortunately it hasn't worked on this occasion but your suggestion has served to jog the memory. I think the problem might have stemmed from something resting on the keyboard when I booted up a day or two ago. Quite which keys were pressed at the time is, of course, a mystery!
Thanks for your suggestion.
N o t a