Comment 2 for bug 1211743

Revision history for this message
Julien Spautz (julien-spautz) wrote : Re: Improve the overall look of GUI

I've never noticed the 1px extra line on the right of the Settings button.

I agree the title bar needs some sort of separator, but if we add this, it'll look bad in other themes. In other words it's a theming issue.