Searched refs:navigation_index (Results 1 – 1 of 1) sorted by relevance
213 let navigation_index; variable216 case 87: navigation_index = 0; break; // W219 case 65: navigation_index = 1; break; // A222 case 68: navigation_index = 3; break; // S225 case 83: navigation_index = 2; break; // D234 if (nav[navigation_index] == '0') {238 let target_element = selected.ownerSVGElement.getElementById(nav[navigation_index]);