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 = 2;
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 var m = document.getElementById("status_mask");
42 if (visible_extra_status) \{
43 var t = document.getElementById("extra_status_"+visible_extra_status);
44 t.style.display = "none";
46 m.style.display = "none";
48 if (visible_extra_status == id) \{
49 visible_extra_status = 0;
52 visible_extra_status = 0;
54 var e = document.getElementById("extra_status_"+id);
56 e.style.display = "block";
57 visible_extra_status = id;
59 m.onclick = function() \{ extra_status_visible(id); \};
60 m.style.display = "block";
65 function setCookie(name, value, expires, path, domain, secure) \{
66 var curCookie = name + "=" + escape(value) +
67 ((expires) ? "; expires=" + expires.toGMTString() : "") +
68 ((path) ? "; path=" + path : "") +
69 ((domain) ? "; domain=" + domain : "") +
70 ((secure) ? "; secure" : "");
71 document.cookie = curCookie;
74 function save_cat_cookies() \{
75 var cat = document.categories.categorisation.value;
77 exp.setTime(exp.getTime() + 10 * 365 * 24 * 60 * 60 * 1000);
78 var oldexp = new Date();
79 oldexp.setTime(oldexp.getTime() - 1 * 365 * 24 * 60 * 60 * 1000);
83 var u = document.getElementById("users");
84 if (u != null) \{ u = u.value; \}
85 if (u == "") \{ u = null; \}
87 setCookie("cat" + cat + "_users", u, exp, "/");
89 setCookie("cat" + cat + "_users", "", oldexp, "/");
92 var bits = new Array("nam", "pri", "ttl", "ord");
93 for (var i = 0; i < 4; i++) \{
94 for (var j = 0; j < bits.length; j++) \{
95 var e = document.getElementById(bits[j] + i);
97 if (e == null) \{ e = ""; \}
98 if (j == 0 && e == "") \{ done = 1; \}
99 if (done || e == "") \{
100 setCookie("cat" + cat + "_" + bits[j] + i, "", oldexp, "/");
102 setCookie("cat" + cat + "_" + bits[j] + i, e, exp, "/");
108 function toggle(i) \{
109 var a = document.getElementById("a_" + i);
111 if (a.style.display == "none") \{
112 a.style.display = "";
114 a.style.display = "none";
119 function enable(x) \{
120 for (var i = 1; ; i++) \{
121 var a = document.getElementById("b_" + x + "_" + i);
122 if (a == null) break;
123 var ischecked = a.checked;
124 for (var j = 1; ; j++) \{
125 var b = document.getElementById("b_" + x + "_"+ i + "_" + j);
126 if (b == null) break;