She is running mate desktop. She does not recall what key sequences she pushed, but now, Cntrl-Alt-F[23456...] no longer work. I tried it on her computer under her login, and it does not work. Creating another account and login in with that account, it works. So, something changed, that has disabled the cntrl-alt-f keys. Any clues how to restore it?