[Webkit-unassigned] [Bug 147275] New: Web Inspector: device-pixel-ratio and orientation media queries are red in CodeMirror

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=147275

            Bug ID: 147275
           Summary: Web Inspector: device-pixel-ratio and orientation
                    media queries are red in CodeMirror
    Classification: Unclassified
           Product: WebKit
           Version: 528+ (Nightly build)
          Hardware: All
                OS: All
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: Web Inspector
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: timothy at apple.com
                CC: graouts at webkit.org, joepeck at webkit.org,
                    jonowells at apple.com, mattbaker at apple.com,
                    nvasilyev at apple.com, timothy at apple.com,
                    webkit-bug-importer at group.apple.com

The following CSS has red syntax highlights for device-pixel-ratio and orientation.

/* iPhone, iPhone 3G/3GS portrait */
@media only screen and (min-device-width: 320px) and (max-device-width: 480px) and (-webkit-device-pixel-ratio: 1) and (device-aspect-ratio: 2/3) and (orientation: portrait) {
}

/* iPhone, iPhone 3G/3GS landscape */
@media only screen and (min-device-width: 320px)  and (max-device-width: 480px) and (-webkit-device-pixel-ratio: 1) and (device-aspect-ratio: 2/3) and (orientation: landscape) {
}

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-unassigned/attachments/20150724/4e3d0d00/attachment-0001.html>