Hi! I'm using Eclipse and Ctrl + F11 is not working, i. e. nothing happens instead of running the last program. If I use Ctrl + F11 outside Eclipse, e. g. for switching the virtual desktops assuming you have at least eleven, everything is fine. It's not urgent but a little bit annoying. I'd be thankful for some clues. Regards, Hans-Joerg v. Mettenheim