Searched refs:nav_pref (Results 1 – 1 of 1) sorted by relevance
10 var nav_pref; variable475 nav_pref = getNavPref();476 if (nav_pref == NAV_PREF_TREE) {485 if (nav_pref == NAV_PREF_TREE) {486 nav_pref = NAV_PREF_PANELS;488 nav_pref = NAV_PREF_TREE;493 writeCookie("nav", nav_pref, "reference", date.toGMTString());