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 (5350524bb654)

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
<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-US" class="willBeRemoved">
<head>
<link rel="stylesheet" type="text/css" href="frame_selection_underline.css"/>
<script type="text/javascript">
<![CDATA[

function init(aTest)
{
  var target = document.getElementById("target");
  var decoration = document.getElementById("decoration");
  var leftSpacer = document.getElementById("leftspacer");
  var rightSpacer = document.getElementById("rightspacer");

  var docShell =
    window.QueryInterface(Components.interfaces.nsIInterfaceRequestor)
          .getInterface(Components.interfaces.nsIWebNavigation)
          .QueryInterface(Components.interfaces.nsIDocShell);
  var controller =
    docShell.QueryInterface(Components.interfaces.nsIInterfaceRequestor)
            .getInterface(Components.interfaces.nsISelectionDisplay)
            .QueryInterface(Components.interfaces.nsISelectionController);

  const nsISelectionController = Components.interfaces.nsISelectionController;
  if (aTest.selection.isIME) {
    leftSpacer.style.display = rightSpacer.style.display = "inline-block";
  } else {
    leftSpacer.style.display = rightSpacer.style.display = "none";
  }

  target.style.fontFamily = aTest.font.family;
  target.style.fontSize = aTest.font.defaultSize;

  decoration.style.textDecorationStyle = aTest.decoration.styleName;
  decoration.style.textDecorationColor = aTest.selection.decorationColor;

  document.documentElement.removeAttribute("class");
  setTimeout(function () {
    document.documentElement.setAttribute("class", "willBeRemoved"); }, 0);
}

]]>
</script>
</head>
<body class="reference">
  <div id="target"><span id="decoration"><span id="leftspacer">&nbsp;</span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span id="rightspacer"></span>&nbsp;</span></div>
</body>
</html>