Searched refs:target_element (Results 1 – 1 of 1) sorted by relevance
238 let target_element = selected.ownerSVGElement.getElementById(nav[navigation_index]); variable239 select(target_element);