Searched refs:NAV_PREF_TREE (Results 1 – 1 of 1) sorted by relevance
8 var NAV_PREF_TREE = "tree"; variable468 if (v != NAV_PREF_TREE) {476 if (nav_pref == NAV_PREF_TREE) {485 if (nav_pref == NAV_PREF_TREE) {488 nav_pref = NAV_PREF_TREE;