Lines Matching refs:document

2          var newNode = document.createElement('mark2');

18 // document.getSelection
19 else if (document.getSelection) {
20 selectedText = document.getSelection();
22 // document.selection
23 else if (document.selection) {
24 selectedText = document.selection.createRange().text;
27 if (document.getElementsByTagName("title")[1] !=null){
28 var papertitle = document.getElementsByTagName("title")[1].textContent;
32 // document.testform.selectedtext.value += selectedText +"\n";
33 if (document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value == ""){
34 document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value += "====== "+papertitle+" ====== \r\n [["+url+"|" + papertitle + "]] [[?do=highlight2wiki&ur="+url+"|✍Highlight]]--"+timestamp+"\r\n\n";
35 document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value += "{{tag> }}\r\n\n"; //add tag syntax
38 let selectedTextString = document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value;
39 document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value += selectedTextString + selectedText + "\n\n";
45 var instance = new Mark(document.getElementById("wanttext"));
54 document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value += lines[j] + "\n\n";
60 var textArea = document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value;
63 var instance2 = new Mark(document.getElementById("wanttext"));
80 var textArea = document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value;
83 var instance2 = new Mark(document.getElementById("wanttext"));
117 //document.documentElement.innerHTML = document.documentElement.innerHTML.replace(new RegExp(text + '(?!([^<]+)?<)', 'gi'),'<mark2>$&</mark2>');;
118 var inputText = document.getElementById("wanttext");
134 var textArea = document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value;
142 //document.testform.selectedtext.value += lines[j];
148 var textArea = document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value;
156 //document.testform.selectedtext.value += lines[j];
163 //document.documentElement.innerHTML = document.documentElement.innerHTML.replace(new RegExp(text + '(?!([^<]+)?<)', 'gi'),'<mark2>$&</mark2>');;
164 var inputText = document.getElementById("wanttext");
185 var textArea = document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value;
193 document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value = newtextArea;
200 document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value += "{{tag>" + newtagcomponent.toString() + "}}\r\n\n";
260 if (document.getElementsByTagName("title")[1] !=null){
261 var papertitle = document.getElementsByTagName("title")[1].textContent;
265 if (document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value == ""){
266 document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value += "====== "+papertitle+" ====== \r\n [["+url+"|" + papertitle + "]] [[?do=highlight2wiki&ur="+url+"|✍Highlight]]--"+timestamp+"\r\n\n";
267 document.getElementById("edtop").contentWindow.document.getElementsByTagName("textarea")[0].value += "{{tag> }}\r\n\n"; //add tag syntax