Community
Participate
Working Groups
Build ID: M20090211-1700 Steps To Reproduce: 1. Hit the preferences under "Window" -> "Preferences". 2. Hit "General" -> "Editors" -> "Text Editors" -> "Annotations". I have *two* things here: 1. First in the annotation types box to the right, there are double entries: Occurrences (org.eclipse.jdt.ui.occurrences) Occurrences (org.eclipse.wst.jsdt.ui.occurrences) and Override indicators (org.eclipse.jdt.ui.overrideIndicators) Override indicators (org.eclipse.wst.jsdt.ui.overrideIndicators) Both double entries are linked to each other, both changing each other. This probably isn't supposed that way! 2. Secondly (I only tried with the occurrences so far) when changing the color and then pressing OK *doesn't* change the setting immediately (OK closing prefs window), but only when restarting Eclipse. Setting the single-entry "Write occurrences" at the end of that list immediately changes when pressing OK. Maybe this boils down to the double entries somehow conflicting with each other as described above...? More information: Maybe my classification isn't right. It's all about preferences.
Created attachment 132254 [details] Updates the plugin.xml to use unique key values
Should be fixed in 3.0.5 and 3.1.
Sorry how do I fix this with the attached file?
The attached patch will only work if you are using JSDT source and building it yourself. If you are just using a WTP that you downloaded from the eclipse.org then I would suggest waiting until the patch goes into a build and picking that build up. If you want instructions on how to apply the source patch let me know.
Applied, thanks, Chris. It's a similar problem in bug 266680, but that one requires more than plugin.xml changes.
*** Bug 279639 has been marked as a duplicate of this bug. ***