Is the Ctrl + Tab shortcut to switch window broken

Well, title says it all, Is the Ctrl + Tab shortcut to switch window broken?
It was very practical to reach plugins hidden under other windows (like the mixer)!