Community
Participate
Working Groups
To be a good platform citizen, PDE currently reuses the JDT color preferences for their plain properties editor to color the build.properties file. This is fine, but we currently access the jdt preferences via JavaPlugin.getDefault().getCombinedPreferenceStore(...) which is internal. After consulting with our friend DJ, the preferred way to access other plug-in's preferences is via Platform.getPreferencesService().getString("org.eclipse.jdt.ui", KEY, null, null)
We should try to play nice in 3.4
Brian, suggestions in comment 0 are not enough. our editors need to attach a listener to the JDT/UI preference store so that when the user changes preferences in the properties editor prefs, our build.properties page updates. I believe JDT needs to provide access to their preference store. Perhpas a static API method on JavaUI or something, since it is not recommended to give clients access to the activator (JavaPlugin)
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) HTH Dani
Sorry, I didn't mean to close this bug. I wanted to close bug 215265.
Just want to get this one off the books. Updated: ColorManager SourceViewerConfigurationFactory