html/girocco.js

   1 /* Girocco JS */
   2
   3
   4 /* Hide/show various bits depending on mirror/push
   5  * mode in regproj.cgi: */
   6
   7 var tr_display;
   8 function mirror_push__click(ev, which) {
   9         if (!ev) var ev = window.event;
  10         if (which == 'mirror') {
  11                 document.getElementById('mirror_url').style.display = tr_display;
  12         } else {
  13                 document.getElementById('mirror_url').style.display = 'none';
  14         }
  15 }
  16 function mirror_push_prepare(mr, pr) {
  17         if (!mr || !pr)
  18                 return;
  19         mr.onclick = function(e) { mirror_push__click(e, 'mirror') };
  20         pr.onclick = function(e) { mirror_push__click(e, 'push') };
  21         tr_display = document.getElementById('mirror_url').style.display;
  22 }
  23 function set_mirror_source(which) {
  24         var radios = document.getElementsByTagName('input');
  25         for (var i = 0; i < radios.length; ++i) {
  26                 var checkclass = ' ' + radios[i].className + ' ';
  27                 if (checkclass.indexOf(' mirror_sources ') >= 0) {
  28                         radios[i].checked = (radios[i].value == which) ? true : false;
  29                 }
  30         }
  31 }
  32 window.addEvent('domready', function() {
  33         mirror_push_prepare(document.getElementById('mirror_radio'),
  34                             document.getElementById('push_radio'));
  35         if (document.getElementById('mirror_radio').checked) {
  36                 mirror_push__click(null, 'mirror')
  37         }
  38         if (document.getElementById('push_radio').checked) {
  39                 mirror_push__click(null, 'push')
  40         }
  41 });