Community
Participate
Working Groups
1) Open PDE > Editors pref page 2) Select one of the elements (on either xml or manifest tab) 3) Modify the colour 4) Hit restore defaults on the pref page Result: The color control is not refreshed, so it looks like the restore defaults button did nothing (but the color has actually been reverted). Click on another element and back again to refresh.
Created attachment 266053 [details] Fix
Created attachment 266054 [details] updated fix to reflect class field naming convention / also updated license year
Fixed via http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=fe8ef24e8cd4a31131ca36b60c07691ab5a89242
Verified on Version: Oxygen (4.7) Build id: I20170122-2000