X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Futils.js;fp=helm%2Fon-line%2Fjavascript%2Futils.js;h=7a52b7cbe6d491200ae44cffdede8665ada7ff7f;hb=d70d5de1ec9ccc86c9df45036245af34c37575ea;hp=0000000000000000000000000000000000000000;hpb=99d60351f793983bb7633334ea59e95feb36c72c;p=helm.git

diff --git a/helm/on-line/javascript/utils.js b/helm/on-line/javascript/utils.js
new file mode 100644
index 000000000..7a52b7cbe
--- /dev/null
+++ b/helm/on-line/javascript/utils.js
@@ -0,0 +1,36 @@
+function chopSlash(url)
+{
+  return url.slice(0,url.lastIndexOf('/'));
+}
+
+function getParam(name)
+{
+  var search = location.search;
+  search = search.slice(1);
+  var args = search.split("&");
+  var value = "???";
+
+  for (var i = 0 ; i < args.length ; i++) {
+     var couple = args[i].split("=");
+     if (couple[0] == name) value = couple[1];
+  }
+
+  if (value == "???") value = getDefaultParam(name);
+
+  return value;
+}
+
+function outputOption(doc, value, content, selected)
+{
+  doc.write("<option value=\"" + value + "\" ");
+  if (value == selected) doc.write("selected ");
+  doc.write(">" + content + "</option>");
+}
+
+function outputCheckbox(doc, onclick, content, checked)
+{
+  doc.write("<input type=\"checkbox\" onClick=\"" + onclick + "\" ");
+  if (checked) doc.write("checked");
+  doc.write(">" + content + "</input>");
+}
+