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.
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: nobody → dholbert
Status: NEW → ASSIGNED
Attachment #829653 - Flags: review?(jmathies)
Component: CSS Parsing and Computation → Widget
Pretty sure this was supposed to be [leave open]. Please resolve if it wasn't. https://hg.mozilla.org/mozilla-central/rev/2f7dec25e9d6
And that comment was meant for another bug. *sigh*
Status: ASSIGNED → RESOLVED
Closed: 6 years ago
Resolution: --- → FIXED
Target Milestone: --- → mozilla28
Yup, this bug here is FIXED. Thanks!
You need to log in before you can comment on or make changes to this bug.