Summary: | LaunchingPlugin specification of resourceCopyExclusionFilter | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Darin Swanson <Darin_Swanson> |
Component: | Core | Assignee: | Philipe Mulet <philippe_mulet> |
Status: | RESOLVED FIXED | QA Contact: | |
Severity: | normal | ||
Priority: | P1 | CC: | martinae, philippe_mulet, svandijk |
Version: | 2.0 | ||
Target Milestone: | 2.0 M6 | ||
Hardware: | Other | ||
OS: | other | ||
Whiteboard: |
Description
Darin Swanson
2002-04-16 19:43:03 EDT
Can you comment Martin? This is tricky. It's jdt.ui that is responsible for persisting the settings. It also offers a preference page with a 'default' button, changing back all settings received by 'JavaCore.getDefaultOptions()'. It seems to me that if other components also want to manipulate the setting, and don't want to know about jdt.ui (and the time it is loaded), persistence must go to jdt.core. Or jdt.ui keeps the resposibility and have to offer API. Is there a possibility of JDT core using the new plugin preferences mechanism and jdt ui just putting a UI mechanism for manipulating the preference? oh, you are right, that's now possible. We should do it like that. Philippe? Agreed. Done, JavaCore options are now persisted through its plugin preferences. Fixed Changed Compiler/Builder & CodeFormatter Prefpage to not persisting settings
anymore.
>20020502
|