Closed
Bug 936628
Opened 11 years ago
Closed 11 years ago
Add a media query to check for whether we have a color picker available
Categories
(Core :: Widget, enhancement)
Core
Widget
Tracking
()
RESOLVED
FIXED
mozilla28
People
(Reporter: dholbert, Assigned: dholbert)
References
Details
Attachments
(1 file)
|
7.08 KB,
patch
|
jimm
:
review+
|
Details | Diff | Splinter Review |
We need a media query to allow us to apply different styles on Windows Metro vs. "traditional" Windows.
This will help with bug 932066, and will probably be useful elsewhere, too.
|
||
Updated•11 years ago
|
Severity: normal → enhancement
|
Assignee | |
Comment 1•11 years ago
|
||
Actually, per bug 932066 comment 16, what I really want is to be able to check whether we have a colorpicker backend available, and we can consolidate several "are we this platform?" checks if we provide that via a media query.
--> Morphing this bug to be about that instead.
Summary: Add a media query to check for Windows Metro mode → Add a media query to check for whether we have a color picker available
|
|
Assignee | |
Comment 2•11 years ago
|
||
|
|
Assignee | |
Updated•11 years ago
|
Component: CSS Parsing and Computation → Widget
|
|
Assignee | |
Updated•11 years ago
|
|
||
Updated•11 years ago
|
Attachment #829653 -
Flags: review?(jmathies) → review+
|
|
Assignee | |
Comment 3•11 years ago
|
||
|
||
Comment 4•11 years ago
|
||
Pretty sure this was supposed to be [leave open]. Please resolve if it wasn't.
https://hg.mozilla.org/mozilla-central/rev/2f7dec25e9d6
|
|
||
Comment 5•11 years ago
|
||
And that comment was meant for another bug. *sigh*
Status: ASSIGNED → RESOLVED
Closed: 11 years ago
Resolution: --- → FIXED
Target Milestone: --- → mozilla28
|
|
Assignee | |
Comment 6•11 years ago
|
||
Yup, this bug here is FIXED. Thanks!
You need to log in
before you can comment on or make changes to this bug.
Description
•