blob: 91b932dcef87784bac81a273bfe42a1b3c50e01a (
plain)
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"> </span> <span id="rightspacer"></span> </span></div>
</body>
</html>
|