Community
Participate
Working Groups
In an effort to integrate JDT and PDE, PDE currently uses the JDT UI's preference store to make sure the build.properties editor is configured according to the JDT properties preference page. To do this, we need to get access to the JDT UI's preference store. Currently we call JavaPlugin.getDefault(). In an effort to remove references to internal code, we would like to request JDT to add a static method to get the preference store for the JDT UI plug-in. See https://bugs.eclipse.org/bugs/show_bug.cgi?id=171601#c2 for more information.
For workspace JDT preferences use: org.eclipse.jdt.ui.PreferenceConstants.getPreferenceStore() If the JDT preferences can also be set on a project use org.eclipse.jdt.ui.PreferenceConstants.getPreference(String, IJavaProject)
Thanks Dani, that sounds like exactly what we needed!