| Summary: | [preferences] JDT UI should have more specific preferences listed in Export Preferences | ||
|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | Tobias Widmer <tobias_widmer> |
| Component: | UI | Assignee: | JDT-UI-Inbox <jdt-ui-inbox> |
| Status: | RESOLVED INVALID | QA Contact: | |
| Severity: | enhancement | ||
| Priority: | P3 | CC: | daniel_megert, krzysztof.daniel, pwebster, thatnitind |
| Version: | 3.2 | ||
| Target Milestone: | --- | ||
| Hardware: | All | ||
| OS: | All | ||
| Whiteboard: | |||
| Bug Depends on: | 163543, 203008, 210013, 279415 | ||
| Bug Blocks: | |||
|
Description
Tobias Widmer
Note that there already exist bugs in that area, e.g. bug 103096. not for 3.2 . *** Bug 235979 has been marked as a duplicate of this bug. *** >- Workspace compiler settings Done as per bug 163543. > Syntax Highlighting scheme > Java Editor settings Covered by bug 103096. Marking this bug as invalid as we have more fine grained bugs. |