|
1 <?xml version="1.0" encoding="ISO-8859-1"?> |
|
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> |
|
3 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-US" class="willBeRemoved"> |
|
4 <head> |
|
5 <link rel="stylesheet" type="text/css" href="frame_selection_underline.css"/> |
|
6 <script type="text/javascript"> |
|
7 <![CDATA[ |
|
8 |
|
9 function init(aTest) |
|
10 { |
|
11 var target = document.getElementById("target"); |
|
12 var decoration = document.getElementById("decoration"); |
|
13 var leftSpacer = document.getElementById("leftspacer"); |
|
14 var rightSpacer = document.getElementById("rightspacer"); |
|
15 |
|
16 var docShell = |
|
17 window.QueryInterface(Components.interfaces.nsIInterfaceRequestor) |
|
18 .getInterface(Components.interfaces.nsIWebNavigation) |
|
19 .QueryInterface(Components.interfaces.nsIDocShell); |
|
20 var controller = |
|
21 docShell.QueryInterface(Components.interfaces.nsIInterfaceRequestor) |
|
22 .getInterface(Components.interfaces.nsISelectionDisplay) |
|
23 .QueryInterface(Components.interfaces.nsISelectionController); |
|
24 |
|
25 const nsISelectionController = Components.interfaces.nsISelectionController; |
|
26 if (aTest.selection.isIME) { |
|
27 leftSpacer.style.display = rightSpacer.style.display = "inline-block"; |
|
28 } else { |
|
29 leftSpacer.style.display = rightSpacer.style.display = "none"; |
|
30 } |
|
31 |
|
32 target.style.fontFamily = aTest.font.family; |
|
33 target.style.fontSize = aTest.font.defaultSize; |
|
34 |
|
35 decoration.style.MozTextDecorationStyle = aTest.decoration.styleName; |
|
36 decoration.style.MozTextDecorationColor = aTest.selection.decorationColor; |
|
37 |
|
38 document.documentElement.removeAttribute("class"); |
|
39 setTimeout(function () { |
|
40 document.documentElement.setAttribute("class", "willBeRemoved"); }, 0); |
|
41 } |
|
42 |
|
43 ]]> |
|
44 </script> |
|
45 </head> |
|
46 <body class="reference"> |
|
47 <div id="target"><span id="decoration"><span id="leftspacer"> </span> <span id="rightspacer"></span> </span></div> |
|
48 </body> |
|
49 </html> |