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)

enhancement
Not set
normal

Tracking

()

RESOLVED FIXED
mozilla28

People

(Reporter: dholbert, Assigned: dholbert)

References

Details

Attachments

(1 file)

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.
Severity: normal → enhancement
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
Attached patch fix v1Splinter Review
Assignee: nobody → dholbert
Status: NEW → ASSIGNED
Attachment #829653 - Flags: review?(jmathies)
Component: CSS Parsing and Computation → Widget
Depends on: 875753, 875754, 875756
Attachment #829653 - Flags: review?(jmathies) → review+
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: 11 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.

Attachment

General

Created:
Updated:
Size: