Searched refs:nav_pref (Results 1 – 2 of 2) 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());
7 var nav_pref; variable1292 nav_pref = getNavPref();1293 if (nav_pref == NAV_PREF_TREE) {1302 if (nav_pref == NAV_PREF_TREE) {1303 nav_pref = NAV_PREF_PANELS;1305 nav_pref = NAV_PREF_TREE;1308 writeCookie("nav", nav_pref, "reference");