DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.

Mercurial (b6d82b1a6b02)

VCS Links

Line Code
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57
<!DOCTYPE html>
<html class="reftest-wait">
  <body>
    <p>
      <math>
        <mo id="mo1">%</mo>
      </math>
    </p>
    <p>
      <math>
        <mo id="mo2" lspace="3em">%</mo>
      </math>
    </p>
    <p>
      <math>
        <mo id="mo3">%</mo>
        <mo>%</mo>
      </math>
    </p>
    <p>
      <math>
        <mo id="mo4" lspace="3em">%</mo>
        <mo >%</mo>
      </math>
    </p>
    <p>
      <math id="math1">
        <mo>%</mo>
      </math>
    </p>
    <p>
      <math id="math2">
        <mo>%</mo>
        <mo id="mo5">%</mo>
      </math>
    </p>
    <script type="text/javascript">
      function doTest() {
        // Add and remove lspace
        document.getElementById("mo1").setAttribute("lspace", "3em");
        document.getElementById("mo2").removeAttribute("lspace");
        // and again but with an inferred mrow
        document.getElementById("mo3").setAttribute("lspace", "3em");
        document.getElementById("mo4").removeAttribute("lspace");

        // Change to/from inferred mrow
        var mo1 = document.createElementNS("http://www.w3.org/1998/Math/MathML", "mo");
        mo1.innerHTML = "%";
        document.getElementById("math1").appendChild(mo1);
        document.getElementById("math2").removeChild(document.getElementById("mo5"));

        document.documentElement.removeAttribute("class");
      }
      window.addEventListener("MozReftestInvalidate", doTest);
  </script>
  </body>
</html>