(gui, name, setSelected)
| 2806 | } |
| 2807 | |
| 2808 | function addPresetOption(gui, name, setSelected) { |
| 2809 | var opt = document.createElement('option'); |
| 2810 | opt.innerHTML = name; |
| 2811 | opt.value = name; |
| 2812 | gui.__preset_select.appendChild(opt); |
| 2813 | if (setSelected) { |
| 2814 | gui.__preset_select.selectedIndex = gui.__preset_select.length - 1; |
| 2815 | } |
| 2816 | } |
| 2817 | |
| 2818 | function setPresetSelectIndex(gui) { |
| 2819 | for (var index = 0; index < gui.__preset_select.length; index++) { |
no outgoing calls
no test coverage detected