Searched refs:optionElement (Results 1 – 2 of 2) sorted by relevance
197 var optionElement = document.createElement("option");198 optionElement.codeObject = code;199 optionElement.text = code.name;200 functionSelectElement.add(optionElement, null);391 var optionElement = document.createElement("option");392 optionElement.value = x;393 optionElement.text = kinds[x];394 kindSelectElement.add(optionElement, null);
46 const optionElement = document.createElement("option"); constant47 optionElement.text = phase.name;48 view.selectMenu.add(optionElement);