1 <script type="text/javascript">
3 toggle_extra_status_visible();
10 var visible_extra_status = 0;
12 function toggle_extra_status_visible() \{
13 all_divs = document.getElementsByTagName("div");
14 for (var i = 0; i < all_divs.length; i++) \{
15 if (all_divs[i].className == "shortbugstatusextra") \{
16 if (all_divs[i].style.position == 'absolute' ) \{
17 all_divs[i].style.position = "static";
18 all_divs[i].style.display = "block";
19 all_divs[i].style.zIndex = 0;
20 all_divs[i].style.border = 0;
21 var subspans = all_divs[i].getElementsByTagName("span");
22 for (var j = 0; j < subspans.length; j++) \{
23 subspans[j].style.display = "inline";
27 all_divs[i].style.position = "absolute";
28 all_divs[i].style.display = "none"
29 all_divs[i].style.zIndex = 1;
30 all_divs[i].style.border = "#000 1px solid";
31 var subspans = all_divs[i].getElementsByTagName("span");
32 for (var j = 0; j < subspans.length; j++) \{
33 subspans[j].style.display = "block";
40 function extra_status_visible(id) \{
41 if (visible_extra_status) \{
42 var t = document.getElementById("extra_status_"+visible_extra_status);
43 t.style.display = "none";
44 if (visible_extra_status == id) \{
45 visible_extra_status = 0;
48 visible_extra_status = 0;
50 var e = document.getElementById("extra_status_"+id);
52 e.style.display = "block";
53 visible_extra_status = id;
57 function setCookie(name, value, expires, path, domain, secure) \{
58 var curCookie = name + "=" + escape(value) +
59 ((expires) ? "; expires=" + expires.toGMTString() : "") +
60 ((path) ? "; path=" + path : "") +
61 ((domain) ? "; domain=" + domain : "") +
62 ((secure) ? "; secure" : "");
63 document.cookie = curCookie;
66 function save_cat_cookies() \{
67 var cat = document.categories.categorisation.value;
69 exp.setTime(exp.getTime() + 10 * 365 * 24 * 60 * 60 * 1000);
70 var oldexp = new Date();
71 oldexp.setTime(oldexp.getTime() - 1 * 365 * 24 * 60 * 60 * 1000);
75 var u = document.getElementById("users");
76 if (u != null) \{ u = u.value; \}
77 if (u == "") \{ u = null; \}
79 setCookie("cat" + cat + "_users", u, exp, "/");
81 setCookie("cat" + cat + "_users", "", oldexp, "/");
84 var bits = new Array("nam", "pri", "ttl", "ord");
85 for (var i = 0; i < 4; i++) \{
86 for (var j = 0; j < bits.length; j++) \{
87 var e = document.getElementById(bits[j] + i);
89 if (e == null) \{ e = ""; \}
90 if (j == 0 && e == "") \{ done = 1; \}
91 if (done || e == "") \{
92 setCookie("cat" + cat + "_" + bits[j] + i, "", oldexp, "/");
94 setCookie("cat" + cat + "_" + bits[j] + i, e, exp, "/");
100 function toggle(i) \{
101 var a = document.getElementById("a_" + i);
103 if (a.style.display == "none") \{
104 a.style.display = "";
106 a.style.display = "none";
111 function enable(x) \{
112 for (var i = 1; ; i++) \{
113 var a = document.getElementById("b_" + x + "_" + i);
114 if (a == null) break;
115 var ischecked = a.checked;
116 for (var j = 1; ; j++) \{
117 var b = document.getElementById("b_" + x + "_"+ i + "_" + j);
118 if (b == null) break;