<!-- Javascripts für die Einblendung von PopUp-Fensterchen zu Informationszwecke -->

// Aktiviere die Ereignisbehandlung
document.onmousemove = repositionQuickInfo;

/* ----------------------------------------------------------------------------------------------------
      Aufgabe: Blende eine neue QuickInfo-Box ein
      Eingabe: ...
      Ausgabe: nichts
    Bemerkung: keine
   ---------------------------------------------------------------------------------------------------- */
    function showQuickInfo(quickinfoTitle, quickinfoText) {
      // Erzeuge das DIV-Tag, welches als Basis dient
      var DIVpopupinfoBase = document.createElement("div");
      with (DIVpopupinfoBase) {
        visible = true;
        className = "quickinfoBase";
        style.position = "absolute";
//        style.width = "200px";
//        style.height = "50px";
       }
      var DIVpopupinfoContentBase = document.createElement("div");
      DIVpopupinfoBase.appendChild(DIVpopupinfoContentBase);
      with(DIVpopupinfoContentBase) {
        visible = true;
        className = "popupinfoContent";
//        style.position = "relative";
        style.marginleft = "4px";
        style.margintop = "4px";
//        style.width = (baseSize["X"] - (2 * borderWidth)) + "px";
//        style.height = (baseSize["Y"] - (2 * borderWidth)) + "px";
       }
      var PpopupinfoContent1 = document.createElement("p");
      DIVpopupinfoContentBase.appendChild(PpopupinfoContent1);
      with(PpopupinfoContent1) {
        visible = true;
        className = "quickinfoContentTitle";
        innerHTML = quickinfoTitle;
       }
      var PpopupinfoContent2 = document.createElement("p");
      DIVpopupinfoContentBase.appendChild(PpopupinfoContent2);
      with(PpopupinfoContent2) {
        visible = true;
        className = "quickinfoContentText";
        innerHTML = quickinfoText;
       }

      var reservedPlace = document.getElementsByTagName("body")[0];
      newElement = DIVpopupinfoBase;
      newElement.id = "currentQuickInfo";
      reservedPlace.appendChild(newElement);
     }

/* ----------------------------------------------------------------------------------------------------
      Aufgabe: Blende die aktuelle QuickInfo-Box aus
      Eingabe: nichts
      Ausgabe: nichts
    Bemerkung: keine
   ---------------------------------------------------------------------------------------------------- */
    function hideQuickInfo() {
      // Ermittle das übergeordnete Objekt
      var reservedPlace = document.getElementsByTagName("body")[0];
      // Ermittle das Objekt für die QuickInfo-Box und lösche es ggf.
      var currentQuickInfo = document.getElementById("currentQuickInfo");
      if (currentQuickInfo != undefined) {
        reservedPlace.removeChild(currentQuickInfo);
       }
     }

/* ----------------------------------------------------------------------------------------------------
      Aufgabe: Passe die Position der aktuellen QuickInfo-Box an den Mauszeiger an
      Eingabe: nichts
      Ausgabe: nichts
    Bemerkung: keine
   ---------------------------------------------------------------------------------------------------- */
    function repositionQuickInfo(currentEvent) {
      // Ermittle das Objekt für die QuickInfo-Box und tue ggf. Folgendes ...
      var currentQuickInfo = document.getElementById("currentQuickInfo");
      if (currentQuickInfo != undefined) {
        with (currentQuickInfo) {
          // Bestimme die aktuelle Position des Mauszeigers
          currentMousePosition = new Array();
          // (Version für IE und Opera)
          if (window.event != undefined) {
            currentMousePosition["x"] = window.event.clientX;
            currentMousePosition["y"] = window.event.clientY;
          // (Version für Mozilla [Netscape/Firefox])
           } else {
            currentMousePosition["x"] = currentEvent.pageX;
            currentMousePosition["y"] = currentEvent.pageY;
           }
          // Korrektur der bestimmten Werte, um den Mauszeiger zu kompensieren
          currentMousePosition["x"] = currentMousePosition["x"] + 15;
          currentMousePosition["y"] = currentMousePosition["y"] + 15;
/*          // Bestimme die aktuelle Größe der Box
          currentBoxSize = new Array();
          currentBoxSize["x"] = style.width.substr(0, style.width.length - 2);
          currentBoxSize["x"] = eval(currentBoxSize["x"]);
          currentBoxSize["y"] = style.height.substr(0, style.height.length - 2);
          currentBoxSize["y"] = eval(currentBoxSize["y"]);
          // Bestimme die Größe des genutzten Fensters
          windowSize = new Array();
          // (Version für Mozilla [Netscape/Firefox] und Opera)
          if (window.innerWidth != undefined) {
            windowSize["x"] = window.innerWidth - 10;
            windowSize["y"] = window.innerHeight - 5;
          // (Version für IE)
           } else {
            windowSize["x"] = document.body.offsetWidth - 25;
            windowSize["y"] = document.body.offsetHeight - 10;
           }
          // Korrigiere die neue Position, falls die Quickinfo-Box damit aus dem Browserfenster herausrutschen würde
          if ((currentMousePosition["x"] + currentBoxSize["x"]) > windowSize["x"]) {
            currentMousePosition["x"] = currentMousePosition["x"] - currentBoxSize["x"] - 15;
           }
          if ((currentMousePosition["y"] + currentBoxSize["y"]) > windowSize["y"]) {
            currentMousePosition["y"] = currentMousePosition["y"] - currentBoxSize["y"] - 15;
           }
*/          // Verschiebe die Quickinfo-Box
          style.left = currentMousePosition["x"];
          style.top = currentMousePosition["y"];
         }
       }
     }