| Summary: | [preferences] Add ability to set background color for different types of text editor | ||
|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | Timothy Mowlem <tmowlem> |
| Component: | Text | Assignee: | JDT-Text-Inbox <jdt-text-inbox> |
| Status: | CLOSED DUPLICATE | QA Contact: | |
| Severity: | enhancement | ||
| Priority: | P3 | CC: | daniel_megert |
| Version: | 3.7 | ||
| Target Milestone: | --- | ||
| Hardware: | All | ||
| OS: | All | ||
| Whiteboard: | |||
|
Description
Timothy Mowlem
*** This bug has been marked as a duplicate of bug 103163 *** Perhaps this could be addressed by using the new CSS capabilities. In order to do this we'd need some 'tag' (CSS pseudo-class) that could be styled against. If we were to 'tag' the editor's widget with (for example) its editor's ID we should be able to write styling code against it. |