(gui, name, setSelected)
| 1183 | } |
| 1184 | |
| 1185 | function addPresetOption(gui, name, setSelected) { |
| 1186 | const opt = document.createElement('option'); |
| 1187 | opt.innerHTML = name; |
| 1188 | opt.value = name; |
| 1189 | gui.__preset_select.appendChild(opt); |
| 1190 | if (setSelected) { |
| 1191 | gui.__preset_select.selectedIndex = gui.__preset_select.length - 1; |
| 1192 | } |
| 1193 | } |
| 1194 | |
| 1195 | function showHideExplain(gui, explain) { |
| 1196 | explain.style.display = gui.useLocalStorage ? 'block' : 'none'; |
no outgoing calls
no test coverage detected
searching dependent graphs…