Searched refs:highlightedMoveId (Results 1 – 1 of 1) sorted by relevance
891 var highlightedMoveId = ""; variable1347 if (highlightedMoveId) {1348 if (theObj = document.getElementById(highlightedMoveId)) {1349 … theObj.className = (highlightedMoveId.match(/Var0Mv/) ? 'move' : 'variation') + ' notranslate';1469 highlightedMoveId = moveId;