/* - timingNav.js - */
var current_name = null;
var timerid = -1;
var wanting = null;

function toggle(name, dest) {
    var elem = document.getElementById('portaltab-' + name);
    if (elem)
        elem.className = dest;
}
function navLeave(name, dflt) {
    if (current_name == name) {
        noTimeout ();
        toggle (name, 'plain');
        toggle (dflt, 'plain current');
        current_name = null;
        if (wanting ) {
            if (navEnter (wanting, dflt)) {
                wanting = null;
            }
        }
    }
}
function navBlur(name, dflt) {
    if (current_name == name) {
        noTimeout ();
        timerid = setTimeout ("navLeave('" + name + "', '" + dflt + "')", 550);
    }
    if (wanting == name) {
        // we are no longer wanting in
        wanting = null;
    }
}
function navEnter(name, dflt) {
    if (current_name == null) {
        current_name = name;
        toggle (dflt, 'plain');
        toggle (name, 'fHover');
    }
    if (current_name == name) {
        noTimeout ();
        return true;
    }
    return false;
}
function navHover(name, dflt) {
    if (!navEnter (name, dflt)) {
        // navEnter failed; register that we wanted in
        wanting = name;
    }
}

function noTimeout() {
    if (timerid >= 0) {
        clearTimeout(timerid);
        timerid = -1;
    }
}