Imported Upstream version 2.14.2

[lilypond.git] / Documentation / lily_search.js

diff --git a/Documentation/lily_search.js b/Documentation/lily_search.js
new file mode 100644 (file)
index 0000000..09516b3
--- /dev/null
+++ b/Documentation/lily_search.js
@@ -0,0 +1,101 @@
+var resObject = null;
+var useAjax = (document.location.protocol.toLowerCase() == 'http:');
+var isLocal = !useAjax;
+
+var previous_search = "";
+
+function erzXMLHttpRequestObject ()
+{
+  var resObject = null;
+  try {
+    resObject = new XMLHttpRequest ();
+  }
+  catch (Error) {
+    try {
+      resObject = new ActiveXObject ("Microsoft.XMLHTTP");
+    }
+    catch (Error) {
+      try {
+        resObject = new ActiveXObject ("MSXML2.XMLHTTP");
+      }
+      catch (Error) {
+        alert ("Unable to create XMLHttpRequest object for the search function!");
+        useAjax = false;
+      }
+    }
+  }
+  return resObject;
+}
+
+function searchResult (language, manual, bigpage)
+{
+  search_string = this.document.search_form.q.value;
+  if (useAjax && previous_search != search_string) {
+    if (useAjax && search_string.length >= 3) {
+      var reldir = "";
+      if (bigpage == 0) {
+        reldir = "../"
+      }
+      resObject.open ('get', reldir + 'lily_index_search.php?lang=' + escape(language) + '&manual=' + escape(manual) + '&bigpage=' + bigpage + '&q=' + escape(search_string), true);
+      resObject.onreadystatechange = handleResponse;
+      resObject.send (null);
+    } else {
+      clearResults ();
+    }
+    previous_search = search_string;
+  }
+}
+
+function result_field ()
+{
+  return document.getElementById ('search_results');
+}
+function assignResults (results)
+{
+    field = result_field ();
+    field.innerHTML = resObject.responseText;
+    field.style.display = 'block';
+}
+
+function handleResponse ()
+{
+  if (resObject.readyState == 4 ) {
+    assignResults (resObject.responseText);
+  }
+}
+
+function clearResults ()
+{
+    field = result_field ();
+    field.innerHTML = 0;
+    field.style.display = 'none';
+}
+
+
+function print_search_field (language, manual, bigpage)
+{
+  if (useAjax) {
+    // If the user presses enter and submits the form, also call the search
+    // script to print out the results in a separate page
+    search_call = "searchResult('" + language + "', '" + manual + "', " + bigpage + ")";
+    var reldir = "";
+    if (bigpage == 0) {
+      reldir = "../"
+    }
+    search_script = reldir + 'lily_index_search.php';
+    document.write("<div id=\"search\">");
+    document.write("<form name=\"search_form\" action=\"" + search_script + "\" onsubmit=\"" + search_call + "; return false;\">");
+    document.write("<input type=\"hidden\" name=\"lang\" value=\"" + escape(language) + "\" >");
+    document.write("<input type=\"hidden\" name=\"manual\" value=\"" + escape(manual) + "\" >");
+    document.write("<input type=\"hidden\" name=\"bigpage\" value=\"" + bigpage + "\" >");
+    document.write("<input type=\"hidden\" name=\"form_submitted\" value=\"1\" >");
+    document.write("<p class=\"searchbar\">Search: ");
+    document.write("  <input name=\"q\" onkeyup=\"" + search_call + "\" size=25></input></p>");
+    document.write("  <div id=\"search_results\"></div>");
+    document.write("</form>");
+    document.write("</div>");
+  }
+}
+if (useAjax) {
+  resObject = erzXMLHttpRequestObject ();
+}
\ No newline at end of file