]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/javascript/utils.js
annotationHelper now working again. A control frame has been added to
[helm.git] / helm / on-line / javascript / utils.js
1 function chopSlash(url)
2 {
3   return url.slice(0,url.lastIndexOf('/'));
4 }
5
6 function setParam(url,name,value)
7 {
8   var urla = url.split("?");
9   var search = urla[1];
10   var args = search.split("&");
11
12   for (var i = 0 ; i < args.length ; i++) {
13      var couple = args[i].split("=");
14      if (couple[0] == name) args[i] = name + "=" + value;
15   }
16
17
18   return (urla[0] + "?" + args.join("&"));
19 }
20
21 function extractParam(url,name)
22 {
23   var search = url.split("?")[1];
24   var args = search.split("&");
25   var value = "???";
26
27   for (var i = 0 ; i < args.length ; i++) {
28      var couple = args[i].split("=");
29      if (couple[0] == name) value = couple[1];
30   }
31
32   if (value == "???") value = getDefaultParam(name);
33
34   return value;
35 }
36
37 function getParam(name)
38 {
39   var search = location.search;
40   search = search.slice(1);
41   var args = search.split("&");
42   var value = "???";
43
44   for (var i = 0 ; i < args.length ; i++) {
45      var couple = args[i].split("=");
46      if (couple[0] == name) value = couple[1];
47   }
48
49   if (value == "???") value = getDefaultParam(name);
50
51   return value;
52 }
53
54 function outputOption(doc, value, content, selected)
55 {
56   doc.write("<option value=\"" + value + "\" ");
57   if (value == selected) doc.write("selected ");
58   doc.write(">" + content + "</option>");
59 }
60
61 function outputCheckbox(doc, onclick, content, checked)
62 {
63   doc.write("<input type=\"checkbox\" onClick=\"" + onclick + "\" ");
64   if (checked) doc.write("checked");
65   doc.write(">" + content + "</input>");
66 }
67