Posted by antgiant on June 1, 2009 at 4:15pm
Jump to:
| Project: | Feedback |
| Version: | 6.x-2.x-dev |
| Component: | User interface |
| Category: | feature request |
| Priority: | normal |
| Assigned: | Unassigned |
| Status: | closed (duplicate) |
Issue Summary
The attached patch does two things.
First it provides rounded corners via CSS, to all browsers that currently implement that option.
Second it provides some whitespace to make our designer happy. :-)
| Attachment | Size |
|---|---|
| feedback.css_.patch | 562 bytes |
Comments
#1
Thanks for taking the time to report this issue.
However, marking as duplicate of #693880: Alternative UIs/themes. Please search for existing issues before submitting a new one.
You can follow up on that issue to track its status instead. If any information from this issue is missing in the other issue, please make sure you provide it over there.
#2
I'll be happy to watch that issue. However, why the comment about searching for issues? I did, this issue was created over 6 months before #693880: Alternative UIs/themes. They are the ones who failed to search for issues.