| Summary: | [theming] Default theme shows no rounded borders on pressed buttons | ||
|---|---|---|---|
| Product: | [RT] RAP | Reporter: | Tim Buschtoens <tbuschto> |
| Component: | RWT | Assignee: | Project Inbox <rap-inbox> |
| Status: | RESOLVED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | 1.4 | ||
| Target Milestone: | 1.4 M3 | ||
| Hardware: | All | ||
| OS: | All | ||
| Whiteboard: | |||
|
Description
Tim Buschtoens
Actually business and fancy themes have the same problem. The reason is the use of enhanced borders ( inset or outset ), which do not work with rounded borders. See these definitions in Button.default.css: Button[PUSH]:pressed, Button[TOGGLE]:pressed Button[PUSH][BORDER], Button[TOGGLE][BORDER] Button[PUSH][BORDER]:pressed, Button[TOGGLE][BORDER]:pressed Fixed in CVS HEAD. |