
// SUCHE

var intMin   = 2; // Min. Höhe der Suche
var intMax   = 121; // Max. Höhe der Suche
var intStep  = 10;   // Schrittweite, um die die Suche in ihrer Grösse geändert wird
var intDelay = 5;   // Verzögerung in Millisekunden

var blnBig   = false;
var hTimer   = null;


// WunschPalette

var intMinWP   = 5; // Min. Breite der Wunschpalette
var intMaxWP   = 210; // Max. Breite des Wunschpalette
var intStepWP  = 30;   // Schrittweite, um die die Wunschpalette in ihrer Grösse geändert wird
var intDelayWP = 5;   // Verzögerung in Millisekunden

var blnBigWP   = false;
var hTimerWP   = null;

// SUCHE

function initResize(){
  blnBig = (blnBig)? false : true;  // false => verkleinern, true => vergrössern

  // Falls noch ein Timer läuft -> beenden
  if(hTimer != null) window.clearTimeout(hTimer);
  // Resize-Funktion verzögert aufrufen
  hTimer = window.setTimeout("resizeDiv()", intDelay);
}

function resizeDiv(){
  // Vorzeichen zum Vergrössern (1)/Verkleinern (-1) bestimmen
  var intSgn = (blnBig)? 1 : -1;

  // Element ermitteln, das in der Grösse verändert werden soll
  var objDiv = document.getElementById("lang_div");

  //  Falls der Brower die Methode "getComputedStyle" kennt (W3C-DOM)
  if(window.getComputedStyle){
    var strHeight = window.getComputedStyle(document.getElementById("lang_div"), null).getPropertyValue("height");
  //  Falls der Browser die Methode "currentStyle" kennt (neuere IEs)
  }else if(document.getElementById("lang_div").currentStyle){
    var strHeight = document.getElementById("lang_div").currentStyle["height"];
  }

  // Neue Grösse zuweisen
  objDiv.style.height = (parseInt(strHeight) + intSgn*intStep) + "px";
  // Falls die neue Grösse noch innerhalb der Grenzen liegt -> Resize-Funktion erneut aufrufen
  if((parseInt(objDiv.style.height) >= intMin) && (parseInt(objDiv.style.height) <= intMax)){
    hTimer = window.setTimeout("resizeDiv()", intDelay);
  }
}


// WunschPalette

function initResizeWP(onoff){

  blnBigWP = onoff;  // false => verkleinern, true => vergrössern
  
    // Falls noch ein Timer läuft -> beenden
  if(hTimerWP != null) window.clearTimeout(hTimerWP);
  // Resize-Funktion verzögert aufrufen
  if (onoff ==  1) hTimerWP = window.setTimeout("resizeDivWP(1)", intDelayWP);
  if (onoff == -1) hTimerWP = window.setTimeout("resizeDivWP(-1)", intDelayWP);
  
}

function resizeDivWP(onoff){
  // Vorzeichen zum Vergrössern (1)/Verkleinern (-1) bestimmen
  var intSgnWP = onoff;
  


    // Element ermitteln, das in der Grösse verändert werden soll
  var objDivWP = document.getElementById("wunschpalette_top");

  //  Falls der Brower die Methode "getComputedStyle" kennt (W3C-DOM)
  if(window.getComputedStyle){
    var strWidth = window.getComputedStyle(document.getElementById("wunschpalette_top"), null).getPropertyValue("width");
  //  Falls der Browser die Methode "currentStyle" kennt (neuere IEs)
  }else if(document.getElementById("wunschpalette_top").currentStyle){
    var strWidth = document.getElementById("wunschpalette_top").currentStyle["width"];
  }

  // Neue Grösse zuweisen
  objDivWP.style.width = (parseInt(strWidth) + intSgnWP*intStepWP) + "px";
  // Falls die neue Grösse noch innerhalb der Grenzen liegt -> Resize-Funktion erneut aufrufen
  if((parseInt(objDivWP.style.width) >= intMinWP) && (parseInt(objDivWP.style.width) <= intMaxWP)){
  
    if (onoff ==  1) hTimerWP = window.setTimeout("resizeDivWP(1)", intDelayWP);
    if (onoff == -1) hTimerWP = window.setTimeout("resizeDivWP(-1)", intDelayWP);
    zu = false;
    offen = false;
  }
  if(parseInt(objDivWP.style.width) < intMinWP) zu = true;
  if(parseInt(objDivWP.style.width) > intMaxWP) offen = true;
}