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 58 59 60 61 62 63 64 65 66 67
<!DOCTYPE html>
<html class="reftest-wait">

<head>
<title>dynamic maction and embellished op</title>
<style>
  @font-face
  {
      font-family: Ahem;
      src: url(../fonts/Ahem.ttf);
  }
  p, math {
      font: 25px Ahem;
  }
</style>
</head>

<body>

  <p>É<math><maction actiontype="toggle" id="m1"><mn>X</mn><mo>p</mo></maction></math>É</p>
  <p>É<math><maction actiontype="toggle" id="m2"><mo>p</mo><mn>X</mn></maction></math>É</p>
 
  <p>É<math><maction actiontype="toggle" id="m3"><mn>X</mn><mo>p</mo></maction></math>É</p>
  <p>É<math><maction actiontype="toggle" id="m3bis"><mo>p</mo></maction></math>É</p>

  <p>{<math><maction actiontype="toggle" id="m4"><mo>p</mo><mn>X</mn></maction></math>}</p>
  <p>{<math><maction actiontype="toggle" id="m4bis"><mn>X</mn></maction></math>}</p>

 
  <p>[<math>
    <mstyle id="m5"><maction actiontype="toggle"><mn>X</mn><mo>p</mo></maction></mstyle>
  </math>]</p>
  <p>[<math>
    <mstyle id="m6"><maction actiontype="toggle"><mo>p</mo><mn>X</mn></maction></mstyle>
  </math>]</p>

  <p>(<math id="m7"><maction actiontype="toggle"><mn>X</mn><mo>p</mo></maction></math>)</p>
  <p>(<math id="m8"><maction actiontype="toggle"><mo>p</mo><mn>X</mn></maction></math>)</p>

<script>
function doTest()
{
  document.getElementById("m1").setAttribute("selection", "2");
  document.getElementById("m2").setAttribute("selection", "2");

  var m3 = document.getElementById("m3");
  var m3bis = document.getElementById("m3bis");
  m3bis.insertBefore(m3.removeChild(m3.firstChild), m3bis.firstChild);

  var m4 = document.getElementById("m4");
  var m4bis = document.getElementById("m4bis");
  m4bis.insertBefore(m4.removeChild(m4.firstChild), m4bis.firstChild);

  document.getElementById("m5").setAttribute("selection", "2");
  document.getElementById("m6").setAttribute("selection", "2");

  document.getElementById("m7").setAttribute("selection", "2");
  document.getElementById("m8").setAttribute("selection", "2");

  document.documentElement.removeAttribute("class");
}

window.addEventListener("MozReftestInvalidate", doTest);
</script>

</body>
</html>