Searched refs:nav_pref (Results 1 – 1 of 1) sorted by relevance
10 var nav_pref; variable399 nav_pref = getNavPref();400 if (nav_pref == NAV_PREF_TREE) {409 if (nav_pref == NAV_PREF_TREE) {410 nav_pref = NAV_PREF_PANELS;412 nav_pref = NAV_PREF_TREE;417 writeCookie("nav", nav_pref, "reference", date.toGMTString());