| Summary: | [preferences] Should be able to set the colors of the Selection. | ||
|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | David Corbin <dcorbin> |
| Component: | Text | Assignee: | JDT-Text-Inbox <jdt-text-inbox> |
| Status: | VERIFIED FIXED | QA Contact: | |
| Severity: | enhancement | ||
| Priority: | P3 | CC: | duraid, rick.goldstein, Tod_Creasey |
| Version: | 2.0 | Keywords: | accessibility |
| Target Milestone: | 3.0 M9 | ||
| Hardware: | All | ||
| OS: | All | ||
| Whiteboard: | |||
| Bug Depends on: | 28993 | ||
| Bug Blocks: | |||
|
Description
David Corbin
As far as I understand there is no StyledText widget support to do so. Moving to SWT for confirmation. The selection background should be the standard selection background for the platform. I just tried this on win32 and changing the color via the display properties causes the selection color in an open StyledText to change. There is no API for setting the default selection color from within Eclipse. Note that, StyledText could be coded to support an arbitrary selection color which defaulted to the system default (sic). In the short term, the user shouldn't be allowed to set the background to the same as the selection, or at least provide a warning. Moving from Later. Hi. Just curious to know if the GUI for this is planned any time soon. The necessary SWT API has apparently been available for some time (see 10050 and related), but the GUI for selecting colors for the Java and other editors does not appear to be there. Thanks. Moving to JDT UI. See StyledText.set/getSelectionForeground() and StyledText.set/getSelectionBackground(). any progress on this one? my eyes, my eyes!!! :( Pumping up prio. This is an accessibility issue. Released Christof's patch. Available in builds > 20040414 Verified using High Contrast in 20040520 |