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">
5 <link rel=
"stylesheet" type=
"text/css" href=
"frame_selection_underline.css"/>
6 <script type=
"text/javascript">
12 window.QueryInterface(Components.interfaces.nsIInterfaceRequestor)
13 .getInterface(Components.interfaces.nsIWebNavigation)
14 .QueryInterface(Components.interfaces.nsIDocShell);
16 docShell.QueryInterface(Components.interfaces.nsIInterfaceRequestor)
17 .getInterface(Components.interfaces.nsISelectionDisplay)
18 .QueryInterface(Components.interfaces.nsISelectionController);
21 controller.SELECTION_SPELLCHECK,
22 controller.SELECTION_IME_RAWINPUT,
23 controller.SELECTION_IME_SELECTEDRAWTEXT,
24 controller.SELECTION_IME_CONVERTEDTEXT,
25 controller.SELECTION_IME_SELECTEDCONVERTEDTEXT,
27 for (var i =
0; i < selections.length; i++) {
28 var sel = controller.getSelection(selections[i]);
29 sel.removeAllRanges();
32 var target = document.getElementById(
"target");
33 target.style.fontFamily = aTest.font.family;
34 target.style.fontSize = aTest.font.defaultSize;
36 var range = document.createRange();
37 range.selectNodeContents(target);
38 controller.getSelection(aTest.selection.type).addRange(range);
40 document.documentElement.removeAttribute(
"class");
41 setTimeout(function () {
42 document.documentElement.setAttribute(
"class",
"willBeRemoved"); },
0);
49 <div id=
"target"><span id=
"decoration"> </span></div>