Yeh, my bad, I meant Ctrl-Insert. Using pull-down menus does the same thing. In the meantime, the problem has disappeared, not just at my machine, but others as well. Either the IT department did something without telling us, or perhaps I'm a bit crazy. Equal odds, especially since it's Friday:)