// creato da Paolo Dal Molin CSP S.r.l.
// data: 8 luglio 2009

// nell' HTML, alla fine della lista di immagini,
// aggiungere la prima foto, o le prime che permettono di riempire la finestra contenente il carrello,
// in modo da consentire visivamente il riciclo corretto

// H_Carrello rappresenta l' altezza del carrello = somma di tutte le altezze delle foto
var H_Carrello = -3770;
// parametri per lo scorrimento NORMALE lento
var intervallo_lento = 10;  // millesimi di secondo
var scostamento_lento = 1;  // pixel
// parametri per lo scorrimento velocizzato
var intervallo_veloce = 1;  // millesimi di secondo
var scostamento_veloce = 3; // pixel

var x = window.setInterval("scorri()", intervallo_lento);

function scorri() {
  // XOR(0110) = (a OR b)AND(NOT(a AND b))
  // devo utilizzare la tabella di verità XOR perchè a seconda del browser IE o FF se non trovano un elemento restituiscono rispettivamente "" e null
  // SE mi trovo in un canale in cui il componente non è caricato, non devo abilitare lo scorrimento per evitare segnali di errore JavaScript nella pagina
  if ((!document.getElementById("carrello") == null || !document.getElementById("carrello") == "") && (!(!document.getElementById("carrello") == null && !document.getElementById("carrello") == ""))) {
    var car = document.getElementById("carrello");
    if (car.style.top == "") {
    car.style.top = "0px";
    }
    else {
      var pixel = parseInt(car.style.top.replace('px',''));
      if (pixel > H_Carrello) {
      car.style.top = pixel - scostamento_lento + 'px';
      }
      else {
      car.style.top = "0px";
      }
    }
  }
  else window.clearInterval(x);
}
function ripristinaInterval() {
  window.clearInterval(x);
  x = window.setInterval("scorri()", intervallo_lento);
}
function up() {
  window.clearInterval(x);
  x = window.setInterval("su()", intervallo_veloce);
}
function down() {
  window.clearInterval(x);
  x = window.setInterval("giu()", intervallo_veloce);
}
function su() {
  var car = document.getElementById("carrello");
  var pixel = parseInt(car.style.top.replace('px',''));
  if (pixel < -scostamento_veloce) {
  car.style.top = pixel + scostamento_veloce + 'px';
  }
  else {
  car.style.top = H_Carrello + 'px';
  }
}
function giu() {
  var car = document.getElementById("carrello");
  var pixel = parseInt(car.style.top.replace('px',''));
  if (pixel > H_Carrello - scostamento_veloce) {
  car.style.top = pixel - scostamento_veloce + 'px';
  }
  else {
  car.style.top = '0px';
  }
}