(name, displayName)
| 1154 | container.parentElement.style.display = "inline-block"; |
| 1155 | |
| 1156 | function createOption(name, displayName) { |
| 1157 | var id = "markWhenChecked-" + name; |
| 1158 | |
| 1159 | var div = document.createElement("div"); |
| 1160 | div.classList.add("radio-container"); |
| 1161 | |
| 1162 | var input = document.createElement("input"); |
| 1163 | input.type = "radio"; |
| 1164 | input.name = "markWhenChecked"; |
| 1165 | input.value = name; |
| 1166 | input.id = id; |
| 1167 | input.onchange = () => setMarkWhenChecked(name); |
| 1168 | div.appendChild(input); |
| 1169 | |
| 1170 | // Preserve the selected element when the checkboxes change |
| 1171 | if (name == settings.markWhenChecked) { |
| 1172 | input.checked = true; |
| 1173 | } |
| 1174 | |
| 1175 | var label = document.createElement("label"); |
| 1176 | label.innerHTML = displayName; |
| 1177 | label.htmlFor = id; |
| 1178 | div.appendChild(label); |
| 1179 | |
| 1180 | container.appendChild(div); |
| 1181 | } |
| 1182 | createOption("", "None"); |
| 1183 | for (var checkbox of settings.checkboxes) { |
| 1184 | createOption(checkbox, checkbox); |
no test coverage detected