[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
Mon Jul 27 18:44:16 PDT 2015
https://bugs.webkit.org/show_bug.cgi?id=147275
--- Comment #3 from Joseph Pecoraro <joepeck at webkit.org> ---
This seems like a CodeMirror insufficiency. CodeMirror's css.js includes a list of supported @media features:
var mediaFeatures_ = [
"width", "min-width", "max-width", "height", "min-height", "max-height",
"device-width", "min-device-width", "max-device-width", "device-height",
...
], mediaFeatures = keySet(mediaFeatures_);
Even trunk doesn't have these. I think, for standard features like this we should propose CodeMirror update. I'll file a CodeMirror issue and see what other standard features we may want to propose.
--
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/20150728/a92d11e0/attachment.html>
More information about the webkit-unassigned
mailing list