<html>
    <head>
      <base href="https://bugs.webkit.org/" />
    </head>
    <body>
      <p>
        <div>
            <b><a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - Web Inspector: device-pixel-ratio and orientation media queries are red in CodeMirror"
   href="https://bugs.webkit.org/show_bug.cgi?id=147275#c3">Comment # 3</a>
              on <a class="bz_bug_link 
          bz_status_NEW "
   title="NEW - Web Inspector: device-pixel-ratio and orientation media queries are red in CodeMirror"
   href="https://bugs.webkit.org/show_bug.cgi?id=147275">bug 147275</a>
              from <span class="vcard"><a class="email" href="mailto:joepeck&#64;webkit.org" title="Joseph Pecoraro &lt;joepeck&#64;webkit.org&gt;"> <span class="fn">Joseph Pecoraro</span></a>
</span></b>
        <pre>This seems like a CodeMirror insufficiency. CodeMirror's css.js includes a list of supported &#64;media features:

    var mediaFeatures_ = [
      &quot;width&quot;, &quot;min-width&quot;, &quot;max-width&quot;, &quot;height&quot;, &quot;min-height&quot;, &quot;max-height&quot;,
      &quot;device-width&quot;, &quot;min-device-width&quot;, &quot;max-device-width&quot;, &quot;device-height&quot;,
      ...
    ], 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.</pre>
        </div>
      </p>
      <hr>
      <span>You are receiving this mail because:</span>
      
      <ul>
          <li>You are the assignee for the bug.</li>
      </ul>
    </body>
</html>