Closed Bug 931003 Opened 6 years ago Closed 6 years ago

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

Categories

(DevTools :: Debugger, defect)

defect
Not set

Tracking

(Not tracked)

RESOLVED FIXED
Firefox 27

People

(Reporter: vporof, Assigned: vporof)

Details

Attachments

(1 file)

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.
Attached patch debugger-borderSplinter Review
Assignee: nobody → vporof
Status: NEW → ASSIGNED
Attachment #822311 - Flags: review?(paul)
Attachment #822311 - Flags: review?(paul) → review+
https://hg.mozilla.org/mozilla-central/rev/bbd572cd8648
Status: ASSIGNED → RESOLVED
Closed: 6 years ago
Resolution: --- → FIXED
Whiteboard: [fixed-in-fx-team]
Target Milestone: --- → Firefox 27
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.