Community
Participate
Working Groups
Build 20021114 The keyboard shortcuts Ctrl(& Ctrl+Shift) F6, F7, and F8 do not work at all for switching views, editors, and perspectives.
Which window manager were you using, KDE or Gnome? KDE takes the Ctrl+Fn keys for switching virtual desktops.
I'm using KDE. Ctrl F1-F4 switch virtual desktops, but Ctrl F5-F12 seem to have no effect. This is quite possibly not a new bug, I was testing on Linux for the first time.
Known collision with KDE. We'll be looking the more general problem of dealing with platform-specific keybindings.
Reopening
Renaming and lowering priority. Andrew says the Ctrl+Shift+Fn combinations actually work on KDE.
See bug #31329. In short KDE has hi-jacked all ctrl-fn keys for switching between virtual desktops. You can turn this hi-jacking off. If KDE takes the key sequences, then eclipse doesn't see them. I believe this is a duplicate of bug #31329, but that is a specific bug, so I have not marked it so.
*** Bug 14775 has been marked as a duplicate of this bug. ***
This can most likely be rolled in with the localization of key bindings based on platform. GTK has some key sequences which are reserved as well. They've caused problems. *** This bug has been marked as a duplicate of 42009 ***
*** Bug 73862 has been marked as a duplicate of this bug. ***
Moving on to the M2 milestone, just to make it easier to track when these bugs were dealt with.