var toolheight = 150;

function reset_tools(current_event,fname) {
    var mouse_x = current_event.x
    var mouse_y = current_event.y
    document.getElementById("tooltip").style.left       = mouse_x + document.body.scrollLeft;
    document.getElementById("tooltip").style.top        = mouse_y + document.body.scrollTop + 15;
    document.getElementById("tooltip").style.visibility = "visible";
    document.getElementById("toolframe").src = fname;
}

function close_tools() {
    document.getElementById("tooltip").style.visibility = "hidden";
}

function reset_byelement(current_element,fname) {
    var element = current_element;
    var left    = element.offsetLeft;
    var top     = element.offsetTop;
    var width   = element.offsetWidth;
    while (element=element.offsetParent) {
        left += element.offsetLeft;
        top  += element.offsetTop;
    }
    if (top + toolheight > current_element.document.body.scrollTop + current_element.document.body.clientHeight) {
       top -= toolheight;
  }
    else
        top += current_element.offsetHeight;
    document.getElementById("tooltip").style.left       = left;
    document.getElementById("tooltip").style.top        = top;
    document.getElementById("tooltip").style.visibility = "visible";
    document.getElementById("toolframe").src            = fname;
    document.getElementById("toolframe").width          = width;
    document.getElementById("toolframe").height         = toolheight;
}