mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-26 06:11:37 +00:00
50 lines
2.2 KiB
HTML
50 lines
2.2 KiB
HTML
<?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"> </span> <span id="rightspacer"></span> </span></div>
|
|
</body>
|
|
</html>
|