[Webkit-unassigned] [Bug 147275] Web Inspector: device-pixel-ratio and orientation media queries are red in CodeMirror
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Thu Aug 27 15:44:15 PDT 2015
https://bugs.webkit.org/show_bug.cgi?id=147275
Joseph Pecoraro <joepeck at webkit.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #5 from Joseph Pecoraro <joepeck at webkit.org> ---
CodeMirror added common / legacy media-query features in:
https://github.com/codemirror/CodeMirror/commit/3ef42f71dc1a7c50ab73c39516a0563430eb11e3
We recently updated CodeMirror and that seems to have fixed this.
We haven't customized to include support for new / vendor specific media query features that WebKit supports. We can file a new bug to track that. Note the CodeMirror issue page has some decent analysis about new media query features.
--
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/20150827/608f30c9/attachment.html>
More information about the webkit-unassigned
mailing list