4 /* Hide/show various bits depending on mirror/push
5 * mode in regproj.cgi: */
10 function mirror_push__click(ev
, which
) {
11 if (!ev
) var ev
= window
.event
;
12 if (which
== 'mirror') {
13 document
.getElementById('mirror_url').style
.display
= tr_display1
;
15 document
.getElementById('mirror_refs').style
.display
= tr_display2
;
17 document
.getElementById('mirror_url').style
.display
= 'none';
19 document
.getElementById('mirror_refs').style
.display
= 'none';
22 function mirror_push_prepare(mr
, pr
) {
25 mr
.onclick = function(e
) { mirror_push__click(e
, 'mirror') };
26 pr
.onclick = function(e
) { mirror_push__click(e
, 'push') };
27 tr_display1
= document
.getElementById('mirror_url').style
.display
;
29 display2
= document
.getElementById('mirror_refs');
32 tr_display2
= display2
.style
.display
;
35 function set_mirror_source(which
) {
36 var radios
= document
.getElementsByTagName('input');
37 for (var i
= 0; i
< radios
.length
; ++i
) {
38 var checkclass
= ' ' + radios
[i
].className
+ ' ';
39 if (checkclass
.indexOf(' mirror_sources ') >= 0) {
40 radios
[i
].checked
= (radios
[i
].value
== which
) ? true : false;
44 window
.addEvent('domready', function() {
45 var mr
= document
.getElementById('mirror_radio');
46 var pr
= document
.getElementById('push_radio');
48 mirror_push_prepare(mr
, pr
);
50 mirror_push__click(null, 'mirror')
53 mirror_push__click(null, 'push')