Community
Participate
Working Groups
I'm not sure if this is the correct product/component, but I couldn't determine to which product/component this should be reported. It has to do with eclipse preferences, changing preferences doesn't take effect if eclipse was exited in an abnormal way (terminated from task manager for example), even if the change has been applied and working in the current running process. Try the following: # Open *Window* -> *Preferences*. # Go to **General** -> **Keys** (just as an example, same behavior is applicable to other preferences as well). # Change the key mapping for any command. # Hit *OK* . # Try the new key mapping. # Close eclipse process from the task manager. # Open eclipse again and check the mapping.
Please file this bug against Eclipse platform at https://bugs.eclipse.org/bugs/enter_bug.cgi?product=Platform.