I'm still using Windows 7. It may be worth noting that the problem isn't reproduceable....
Loses functionality after pressing Ctrl