////////////////////////////////////////////////////////////////////////
//
// Filename:    menu.js
// Purpose:     Update current URL in menu frame
// Method:      DHTML
// Author:      J.van.der.Steen@gobase.org
// Date:        2005-12-10
//
////////////////////////////////////////////////////////////////////////

function update_menu()
//
// Update curURL in menu frame
//
{
    if (top.menuFrame && top.menuFrame.setNav) {
        top.menuFrame.curURL = top.mainFrame.document.URL;
        top.menuFrame.setNav(top.menuFrame.curURL, 'currentPage');
        return;
    }
    //
    // menuFrame hasn't been loaded yet, we wait...
    //
    setTimeout(function() { update_menu(); }, 100);
}