Closed
Bug 1017565
Opened 10 years ago
Closed 10 years ago
Make style editor media sidebar match devtools themes
Categories
(DevTools :: General, defect)
DevTools
General
Tracking
(Not tracked)
RESOLVED
FIXED
Firefox 33
People
(Reporter: ntim, Assigned: ntim)
Details
Attachments
(1 file, 1 obsolete file)
1.22 KB,
patch
|
bgrins
:
review+
|
Details | Diff | Splinter Review |
Right now, the border-colors don't match. Light theme should be #AAA and dark theme should be #000
Assignee | ||
Comment 1•10 years ago
|
||
Attachment #8436432 -
Flags: review?(bgrinstead)
Assignee | ||
Updated•10 years ago
|
Assignee: nobody → ntim007
Status: NEW → ASSIGNED
Comment 2•10 years ago
|
||
Comment on attachment 8436432 [details] [diff] [review] Patch v1 Review of attachment 8436432 [details] [diff] [review]: ----------------------------------------------------------------- ::: browser/themes/shared/devtools/styleeditor.css @@ +78,4 @@ > } > > .theme-light .media-rule-label { > + border-bottom-color: #cddae5; /* Grey */ Where did you get the grey colors from? Looks like you are looking for something lighter than the splitter color. I guess we don't really have much here: https://developer.mozilla.org/en-US/docs/Tools/DevToolsColors. I've often used splitter with alpha for this effect rgba(170, 170, 170, .5) or something. Also, there is some extra whitespace at the end of this line
Attachment #8436432 -
Flags: review?(bgrinstead)
Assignee | ||
Comment 3•10 years ago
|
||
I used the colors from the inspector sidebar. Should that be changed in another bug ?
Flags: needinfo?(bgrinstead)
Comment 4•10 years ago
|
||
(In reply to Tim Nguyen [:ntim] from comment #3) > I used the colors from the inspector sidebar. > Should that be changed in another bug ? OK I see that now (theme-separator). That's fine - just reupload the patch with the trailing whitespace removed and push to try.
Flags: needinfo?(bgrinstead)
Assignee | ||
Comment 5•10 years ago
|
||
Attachment #8436432 -
Attachment is obsolete: true
Attachment #8437173 -
Flags: review?(bgrinstead)
Assignee | ||
Comment 6•10 years ago
|
||
Try : https://tbpl.mozilla.org/?tree=Try&rev=85fa732898eb
Comment 7•10 years ago
|
||
Comment on attachment 8437173 [details] [diff] [review] Patch v2 Review of attachment 8437173 [details] [diff] [review]: ----------------------------------------------------------------- Looks good to me
Attachment #8437173 -
Flags: review?(bgrinstead) → review+
Assignee | ||
Updated•10 years ago
|
Keywords: checkin-needed
Comment 8•10 years ago
|
||
https://hg.mozilla.org/mozilla-central/rev/e7b49eebb460
Status: ASSIGNED → RESOLVED
Closed: 10 years ago
Keywords: checkin-needed
Resolution: --- → FIXED
Target Milestone: --- → Firefox 33
Updated•6 years ago
|
Product: Firefox → DevTools
You need to log in
before you can comment on or make changes to this bug.
Description
•