| Summary: | [preferences] Java Compiler property page doesn't gray out all widgets (without project specific settings) | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | Szymon Ptaszkiewicz <sptaszkiewicz> | ||||||||
| Component: | UI | Assignee: | Dani Megert <daniel_megert> | ||||||||
| Status: | VERIFIED FIXED | QA Contact: | |||||||||
| Severity: | minor | ||||||||||
| Priority: | P5 | CC: | daniel_megert, markus.kell.r | ||||||||
| Version: | 3.5.2 | ||||||||||
| Target Milestone: | 3.8 M3 | ||||||||||
| Hardware: | All | ||||||||||
| OS: | All | ||||||||||
| Whiteboard: | |||||||||||
| Attachments: |
|
||||||||||
|
Description
Szymon Ptaszkiewicz
Created attachment 201047 [details]
Screenshot 1
Created attachment 201048 [details]
Screenshot 2
Doesn't happen by default, because we always set project-specific settings if the JRE on the classpath is an Execution Environment. Happens since at least 3.5.2. This should occur rarely in practice, since using the default JRE is not recommended and not having project-specific compiler settings is error-prone. Created attachment 204456 [details]
Patch v1
The fix seems to be pretty simple. Markus, what do you think?
Thanks for the patch. Fixed in master. Commit c7b806af990bb18f473187b553334dfb4a271e31 Verified in 3.8-I20111025-1800. |