931003 - Arguably obsessive changes for a consistent border color on the end of the sources list and the bottom sources toolbar

Status: RESOLVED FIXED

(DevTools :: Debugger, defect)

Description

[Victor Porof [:vporof][:vp]]

This is especially obvious with the dark theme in the source editor.

1. groups labels backgrounds in the sources list appear 1px too wide, because they don't have a dark end border
2. after adding more than 6 or 7 breakpoints in a single source, the dark end border color in the sources color up to the arrow pointing to the text is not exactly the same brightness all the way
3. the sources toolbar has a distracting black bottom border
4. the sources toolbar doesn't have a dark end border like the parent sources list

I would attach a screenshot evidentiating the above, but I installed Mavericks and Photoshop doesn't work anymore.

Comment 1

[Victor Porof [:vporof][:vp]]

Attachment: debugger-border

Comment 2

[Victor Porof [:vporof][:vp]]

https://hg.mozilla.org/integration/fx-team/rev/bbd572cd8648

Comment 3

[Phil Ringnalda (:philor)]

https://hg.mozilla.org/mozilla-central/rev/bbd572cd8648