Summary: | Remove internal references to Java preferences | ||
---|---|---|---|
Product: | [Eclipse Project] PDE | Reporter: | Wassim Melhem <wassim.melhem> |
Component: | UI | Assignee: | Brian Bauman <baumanbr> |
Status: | RESOLVED FIXED | QA Contact: | |
Severity: | normal | ||
Priority: | P3 | CC: | baumanbr, daniel_megert |
Version: | 3.3 | Keywords: | bugday |
Target Milestone: | 3.4 M5 | ||
Hardware: | PC | ||
OS: | Windows XP | ||
Whiteboard: | |||
Bug Depends on: | 215265 | ||
Bug Blocks: |
Description
Wassim Melhem
2007-01-24 15:49:56 EST
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 |