User manual

out.println("var is_not_moz = (agt.indexOf('netscape')!=-
1)");
out.println("var is_nav = (nom.indexOf('netscape')!=-
1);");
out.println("var is_nav4 = (is_nav && (is_major ==
4));");
out.println("var is_mac = (agt.indexOf(\"mac\")!=-1);");
out.println("var is_gecko = (agt.indexOf('gecko') != -
1);");
out.println("var is_opera = (agt.indexOf(\"opera\") != -
1);");
out.println("var is_rev=0");
out.println("if (is_gecko) {");
out.println("temp = agt.split(\"rv:\")");
out.println("is_rev = parseFloat(temp[1])");
out.println("}");
out.println("var frametosearch = self;");
out.println("function search(whichform, whichframe) {");
out.println("if (is_ie4up && is_mac) return;");
out.println("if (is_gecko && (is_rev <1)) return;");
out.println("if (is_opera) return;");
out.println("if(whichform.findthis.value!=null &&
whichform.findthis.value!='') {");
out.println(" str = whichform.findthis.value;");
out.println(" win = whichframe;");
out.println(" var frameval=false;");
out.println(" if(win!=self)");
out.println("{");
out.println(" frameval=true; // this will enable Nav7
to search child frame");
out.println(" win = parent.frames[whichframe];");
out.println("}");
out.println("}");
out.println("else return; // i.e., no search string was
entered");
out.println("var strFound;");
out.println("if(is_nav4 && (is_minor < 5)) {");
out.println(" strFound=win.find(str); // case insensitive,
forward search by default");
out.println(" }");
out.println("if (is_gecko && (is_rev >= 1)) {");
out.println(" if(frameval!=false) win.focus(); // force
search in specified child frame");
out.println(" strFound=win.find(str, false, false, true,
false, frameval, false);");
out.println(" if (is_not_moz)
whichform.findthis.focus();");
out.println("}");
out.println(" if (is_ie4up) {");
out.println(" if (TRange!=null) {");
out.println("
TestRange=win.document.body.createTextRange();");
out.println("if (dupeRange.inRange(TestRange)) {");
out.println("TRange.collapse(false);");
out.println("strFound=TRange.findText(str);");
out.println("if (strFound) {");
out.println(" win.document.body.scrollTop =
win.document.body.scrollTop + TRange.offsetTop;");
out.println(" TRange.select();");
out.println(" }");
out.println(" }");
out.println(" else {");
out.println("
TRange=win.document.body.createTextRange();");
50